C. Sprenger

Most-cited papers

1. On Extreme Values of Moran's I and Geary's c

   P. Jong, C. Sprenger, F. V. van Veen

   2010178 citations Open access

   Semantic Scholar

   Save

2. On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus

   C. Sprenger, M. Dam

   2003Foundations of Software Science and Computation Structure104 citations Open access

   Semantic Scholar

   Save

3. Cutoff Bounds for Consensus Algorithms

   Ognjen Maric, C. Sprenger, David A. Basin

   2017International Conference on Computer Aided Verification71 citations

   Semantic Scholar

   Save

4. Cryptographically sound theorem proving

   C. Sprenger, M. Backes, David A. Basin, B. Pfitzmann +1 more

   200619th IEEE Computer Security Foundations Workshop (CSFW'06)71 citations

   Semantic Scholar

   Save

5. EPIC: Every Packet Is Checked in the Data Plane of a Path-Aware Internet

   M. Legner, Tobias Klenze, Marc Wyss, C. Sprenger +1 more

   2020USENIX Security Symposium67 citations

   Semantic Scholar

   Save

6. A Verified Model Checker for the Modal µ-calculus in Coq

   C. Sprenger

   1998International Conference on Tools and Algorithms for Construction and Analysis of Systems52 citations Open access

   Semantic Scholar

   Save

7. Checking Absence of Illicit Applet Interactions: A Case Study

   M. Huisman, D. Gurov, C. Sprenger, Gennady Chugunov

   2004Fundamental Approaches to Software Engineering40 citations Open access

   Semantic Scholar

   Save

8. Developing security protocols by refinement

   C. Sprenger, David A. Basin

   2010Conference on Computer and Communications Security37 citations

   Semantic Scholar

   Save

9. Igloo: soundly linking compositional refinement and separation logic for distributed system verification

   C. Sprenger, Tobias Klenze, Marco Eilers, F. Wolf +3 more

   2020Proc. ACM Program. Lang.35 citations Open access

   Semantic Scholar

   Save

10. SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust

    Laurent Chuat, Abdelrahman Abdou, Ralf Sasse, C. Sprenger +2 more

    2019European Symposium on Security and Privacy35 citations Open access

    Semantic Scholar

    Save

11. Compositional verification of sequential programs with procedures

    D. Gurov, M. Huisman, C. Sprenger

    2008Information and Computation33 citations Open access

    Semantic Scholar

    Save

12. SCIDDLE: A tool for large scale distributed computing

    P. Arbenz, C. Sprenger, H. Lüthi, S. Vogel

    1995Concurrency Practice and Experience21 citations Open access

    Semantic Scholar

    Save

13. A NOTE ON GLOBAL INDUCTION MECHANISMS IN A -CALCULUS WITH EXPLICIT APPROXIMATIONS

    C. Sprenger

    200220 citations

    Semantic Scholar

    Save

14. Sound Verification of Security Protocols: From Design to Interoperable Implementations

    Linard Arquint, Felix A. Wolf, J. Lallemand, Ralf Sasse +4 more

    2022IEEE Symposium on Security and Privacy19 citations Open access

    Semantic Scholar

    Save

15. Refining Key Establishment

    C. Sprenger, David A. Basin

    2012IEEE Computer Security Foundations Symposium19 citations Open access

    Semantic Scholar

    Save

16. A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols

    C. Sprenger, David A. Basin

    2007International Conference on Theorem Proving in Higher Order Logics12 citations

    Semantic Scholar

    Save

17. Formal Verification of Secure Forwarding Protocols

    Tobias Klenze, C. Sprenger, David A. Basin

    2021IEEE Computer Security Foundations Symposium11 citations Open access

    Semantic Scholar

    Save

18. Verification of a Transactional Memory Manager under Hardware Failures and Restarts

    Ognjen Maric, C. Sprenger

    2014World Congress on Formal Methods11 citations

    Semantic Scholar

    Save

19. Cryptographically-Sound Protocol-Model Abstractions

    C. Sprenger, David A. Basin

    2008IEEE Computer Security Foundations Symposium11 citations Open access

    Semantic Scholar

    Save

20. Simulation Logic, Applets and Compositional Verification

    C. Sprenger, D. Gurov, M. Huisman

    200311 citations

    Semantic Scholar

    Save

21. A parallel implementation of the symmetric tridiagonal QR algorithm

    P. Arbenz, K. Gates, C. Sprenger

    1992[Proceedings 1992] The Fourth Symposium on the Frontiers of Massively Parallel Computation10 citations

    Semantic Scholar

    Save

22. Compositional verification for secure loading of smart card applets

    C. Sprenger, D. Gurov, M. Huisman

    2004Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.9 citations

    Semantic Scholar

    Save

23. Consensus Refined

    Ognjen Maric, C. Sprenger, David A. Basin

    20152015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks8 citations

    Semantic Scholar

    Save

24. N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures

    Thilo Weghorn, Si Liu, C. Sprenger, A. Perrig +1 more

    2022IEEE Computer Security Foundations Symposium7 citations

    Semantic Scholar

    Save

25. Refining security protocols

    C. Sprenger, David A. Basin

    2017Journal of computing and security7 citations

    Semantic Scholar

    Save

26. Deductive local model checking

    C. Sprenger

    20007 citations

    Semantic Scholar

    Save

27. Refining Authenticated Key Agreement with Strong Adversaries

    J. Lallemand, David A. Basin, C. Sprenger

    2017European Symposium on Security and Privacy6 citations

    Semantic Scholar

    Save

28. Abstractions for security protocol verification

    B. Nguyen, C. Sprenger, C. Cremers

    2015The post5 citations Open access

    Semantic Scholar

    Save

29. Sound Security Protocol Transformations

    T. Nguyen, C. Sprenger

    2013The post5 citations Open access

    Semantic Scholar

    Save

30. A note on global induction in a mu-calculus with explicit approximations

    C. Sprenger, M. Dam

    2002Fixed Points in Computer Science5 citations

    Semantic Scholar

    Save

31. User's guide to SCIDDLE version 3.0

    C. Sprenger

    19935 citations

    Semantic Scholar

    Save

32. IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols

    Tobias Klenze, C. Sprenger

    2022Arch. Formal Proofs3 citations

    Semantic Scholar

    Save

33. IsaNet: A framework for verifying secure data plane protocols

    Tobias Klenze, C. Sprenger, David A. Basin

    2022Journal of computing and security2 citations

    Semantic Scholar

    Save

34. A verification methodology for infinite-state message passing systems

    C. Sprenger, K. Worytkiewicz

    2003First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.2 citations

    Semantic Scholar

    Save

35. Attack-preserving Security Protocol Transformations

    B. Nguyen, C. Sprenger, David A. Basin

    2012ESSoS Doctoral Symposium1 citations

    Semantic Scholar

    Save

36. ETH Library Abstractions for security protocol verification

    B. Nguyen, C. Sprenger

    20140 citations

    Semantic Scholar

    Save

37. ETH Library Sound Security Protocol Transformations

    B. Nguyen, C. Sprenger

    20130 citations

    Semantic Scholar

    Save

38. Network of Excellence Proceedings of the first ESSoS

    Jorge Cuéllar, Nora Koch, B. Baudry, Inria +26 more

    20120 citations

    Semantic Scholar

    Save

39. Network of Excellence Deliverable D9.3 Initial Prototypal Support for Security Assurance for Ser- vices

    C. Sprenger

    20120 citations

    Semantic Scholar

    Save

40. 2 Part II : Engineering Secure Future Internet Services : A Research Manifesto and Agenda from the NESSoS Community Network of Excellence

    Aljosa Pasic, Nora Koch, Kristian Beckers, R. Scandariato +7 more

    20120 citations

    Semantic Scholar

    Save

41. Protocols VI: Deductive Analysis Methods (Part I)

    C. Sprenger, S. Mödersheim

    20090 citations

    Semantic Scholar

    Save

42. Security Protocols IV: Algorithmic analysis methods (Part 1)

    C. Sprenger

    20090 citations

    Semantic Scholar

    Save

43. Security Protocols IX: The Computational Soundness of Formal Encryption

    C. Sprenger, S. Mödersheim

    20090 citations

    Semantic Scholar

    Save

44. Ò Ððóööøøññ Ôôöóó Øó Óñôó××øøóòòð Îööö Blockin Blockinøøóò Óó Ëëõùùòøøøð Èöóóööñ× Ûûøø Èöó Blockin Blockin Blockinùöö×× Ò Çúöúúúû

    Marieke Huisman, C. Sprenger

    20080 citations

    Semantic Scholar

    Save

45. Óñôó××øøóòòð Îööö Blockin Blockinøøóò Óó Ëëõùùòøøøð Èöóóööñ× Ûûøø Èöó Blockin Blockin Blockinùöö×

    Marieke Huisman, C. Sprenger

    20080 citations

    Semantic Scholar

    Save

46. A verification methodology for concurrent software with synchronous communication

    C. Sprenger, K. Worytkiewicz

    20040 citations

    Semantic Scholar

    Save

47. SCIDDLE: A Tool for Large Scale Cooperative Computing

    P. Arbenz, H. Lüthi, C. Sprenger, S. Vogel

    1994HPCN0 citations

    Semantic Scholar

    Save