Lennart Beringer

Affiliations:
  • Ludwig Maximilian University of Munich, Germany


According to our database1, Lennart Beringer authored at least 40 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Compositional Verification of Concurrent C Programs with Search Structure Templates.
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023
Proving Logical Atomicity using Lock Invariants.
CoRR, 2023

Foundational Verification of Stateful P4 Packet Processing.
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022
Verified Software Units for Simple DFA Modules and Objects in C.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Functional Representations of SSA.
Proceedings of the SSA-based Compiler Design, 2022

2021
Abstraction and subsumption in modular verification of C programs.
Formal Methods Syst. Des., 2021

Verifying an HTTP Key-Value Server with Interaction Trees and VST.
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Verified Software Units.
Proceedings of the Programming Languages and Systems, 2021

2019
From C to interaction trees: specifying, verifying, and testing a networked server.
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018
VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs.
J. Autom. Reason., 2018

2017
Verified Correctness and Security of mbedTLS HMAC-DRBG.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2015
Verified Correctness and Security of OpenSSL HMAC.
Proceedings of the 24th USENIX Security Symposium, 2015

Compositional CompCert.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014
Verified Compilation for Shared-Memory C.
Proceedings of the Programming Languages and Systems, 2014

2013
Verifying pointer and string analyses with region type systems.
Comput. Lang. Syst. Struct., 2013

2012
Panel on compiler certification: should we trust our compiler?
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow.
Proceedings of the Principles of Security and Trust - First International Conference, 2012

Verified heap theorem prover by paramodulation.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

End-to-end Multilevel Hybrid Information Flow Control.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
Relational Decomposition.
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010
Relational bytecode correlations.
J. Log. Algebraic Methods Program., 2010

2009
Relational semantics for effect-based program transformations: higher-order store.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

A Proof-Carrying-Code Infrastructure for Resources.
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Noninterference with Dynamic Security Domains and Policies.
Proceedings of the Advances in Computer Science, 2009

2008
A Bytecode Logic for JML and Types.
Arch. Formal Proofs, 2008

Secure information flow and program logics.
Arch. Formal Proofs, 2008

2007
A program logic for resources.
Theor. Comput. Sci., 2007

Relational semantics for effect-based program transformations with dynamic allocation.
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Certification Using the Mobius Base Logic.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006
Functional Elimination of Phi-instructions.
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

Optimisation Validation.
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

MOBIUS: Mobility, Ubiquity, Security.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Reading, Writing and Relations.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
Mobile Resource Guarantees (project evaluation paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2004
A Program Logic for Resource Verification.
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

Automatic Certification of Heap Consumption.
Proceedings of the Logic for Programming, 2004

2003
Grail: a functional form for imperative mobile code.
Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

A Programming Language Based Analysis of Operand Forwarding.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002
Asynchronous queue machines with explicit forwarding.
PhD thesis, 2002

2001
Typing Assembly Programs with Explicit Forwarding.
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001


  Loading...