ESOP 2005

29 papers

1. A Design for a Security-Typed Language with Certificate-Based Declassification · Stephen Tse, Steve Zdancewic
2. A New Foundation for Control-Dependence and Slicing for Modern Program Structures · Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff
3. A Type Discipline for Authorization Policies · Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
4. A Type System Equivalent to a Model Checker · Mayur Naik, Jens Palsberg
5. Adjoining Declassification and Attack Models by Abstract Interpretation · Roberto Giacobazzi, Isabella Mastroeni
6. Analysis of Modular Arithmetic · Markus Müller-Olm, Helmut Seidl
7. Analysis of an Electronic Voting Protocol in the Applied Pi Calculus · Steve Kremer, Mark Ryan
8. Asserting Bytecode Safety · Martin Wildmoser, Tobias Nipkow
9. Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis · Oukseh Lee, Hongseok Yang, Kwangkeun Yi
10. BI Hyperdoctrines and Higher-Order Separation Logic · Bodil Biering, Lars Birkedal, Noah Torp-Smith
11. Bottom-Up beta-Reduction: Uplinks and lambda-DAGs · Olin Shivers, Mitchell Wand
12. Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries · Romain Janvier, Yassine Lakhnech, Laurent Mazaré
13. Complexity of Subtype Satisfiability over Posets · Joachim Niehren, Tim Priesnitz, Zhendong Su
14. Computationally Sound, Automated Proofs for Security Protocols · Véronique Cortier, Bogdan Warinschi
15. Deciding Reachability in Mobile Ambients · Nadia Busi, Gianluigi Zavattaro
16. Denotational Semantics for Abadi and Leino's Logic of Objects · Bernhard Reus, Jan Schwinghammer
17. Determinacy Inference for Logic Programs · Lunjin Lu, Andy King
18. Enforcing Resource Bounds via Static Verification of Dynamic Checks · Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
19. Forward Slicing by Conjunctive Partial Deduction and Argument Filtering · Michael Leuschel, Germán Vidal
20. Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close · Henning Makholm, J. B. Wells
21. Interprocedural Herbrand Equalities · Markus Müller-Olm, Helmut Seidl, Bernhard Steffen
22. Java Jr: Fully Abstract Trace Semantics for a Core Java Language · Alan Jeffrey, Julian Rathke
23. Programming with Explicit Security Policies · Andrew C. Myers
24. Streams with a Bottom in Functional Languages · Hideki Tsuiki, Keiji Sugihara
25. Subtyping First-Class Polymorphic Components · João Costa Seco, Luís Caires
26. Summaries for While Programs with Recursion · Andreas Podelski, Ina Schaefer, Silke Wagner
27. The ASTREÉ Analyzer · Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux + 1 more
28. Towards a Type System for Analyzing JavaScript Programs · Peter Thiemann
29. Trace Partitioning in Abstract Interpretation Based Static Analyzers · Laurent Mauborgne, Xavier Rival