|
Conferences in DBLP
- Andrew C. Myers
Programming with Explicit Security Policies. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:1-4 [Conf]
- Laurent Mauborgne, Xavier Rival
Trace Partitioning in Abstract Interpretation Based Static Analyzers. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:5-20 [Conf]
- Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
The ASTREÉ Analyzer. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:21-30 [Conf]
- Markus Müller-Olm, Helmut Seidl, Bernhard Steffen
Interprocedural Herbrand Equalities. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:31-45 [Conf]
- Markus Müller-Olm, Helmut Seidl
Analysis of Modular Arithmetic. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:46-60 [Conf]
- Michael Leuschel, Germán Vidal
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:61-76 [Conf]
- Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff
A New Foundation for Control-Dependence and Slicing for Modern Program Structures. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:77-93 [Conf]
- Andreas Podelski, Ina Schaefer, Silke Wagner
Summaries for While Programs with Recursion. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:94-107 [Conf]
- Lunjin Lu, Andy King
Determinacy Inference for Logic Programs. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:108-123 [Conf]
- Oukseh Lee, Hongseok Yang, Kwangkeun Yi
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:124-140 [Conf]
- Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
A Type Discipline for Authorization Policies. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:141-156 [Conf]
- Véronique Cortier, Bogdan Warinschi
Computationally Sound, Automated Proofs for Security Protocols. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:157-171 [Conf]
- Romain Janvier, Yassine Lakhnech, Laurent Mazaré
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:172-185 [Conf]
- Steve Kremer, Mark Ryan
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:186-200 [Conf]
- Hideki Tsuiki, Keiji Sugihara
Streams with a Bottom in Functional Languages. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:201-216 [Conf]
- Olin Shivers, Mitchell Wand
Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:217-232 [Conf]
- Bodil Biering, Lars Birkedal, Noah Torp-Smith
BI Hyperdoctrines and Higher-Order Separation Logic. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:233-247 [Conf]
- Nadia Busi, Gianluigi Zavattaro
Deciding Reachability in Mobile Ambients. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:248-262 [Conf]
- Bernhard Reus, Jan Schwinghammer
Denotational Semantics for Abadi and Leino's Logic of Objects. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:263-278 [Conf]
- Stephen Tse, Steve Zdancewic
A Design for a Security-Typed Language with Certificate-Based Declassification. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:279-294 [Conf]
- Roberto Giacobazzi, Isabella Mastroeni
Adjoining Declassification and Attack Models by Abstract Interpretation. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:295-310 [Conf]
- Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
Enforcing Resource Bounds via Static Verification of Dynamic Checks. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:311-325 [Conf]
- Martin Wildmoser, Tobias Nipkow
Asserting Bytecode Safety. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:326-341 [Conf]
- João Costa Seco, Luís Caires
Subtyping First-Class Polymorphic Components. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:342-356 [Conf]
- Joachim Niehren, Tim Priesnitz, Zhendong Su
Complexity of Subtype Satisfiability over Posets. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:357-373 [Conf]
- Mayur Naik, Jens Palsberg
A Type System Equivalent to a Model Checker. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:374-388 [Conf]
- Henning Makholm, J. B. Wells
Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:389-407 [Conf]
- Peter Thiemann
Towards a Type System for Analyzing JavaScript Programs. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:408-422 [Conf]
- Alan Jeffrey, Julian Rathke
Java Jr: Fully Abstract Trace Semantics for a Core Java Language. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:423-438 [Conf]
|