Ralf Sasse, Ph.D.
Affiliations: | 2012 | Computer Science | University of Illinois, Urbana-Champaign, Urbana-Champaign, IL |
Area:
Computer ScienceGoogle:
"Ralf Sasse"Parents
Sign in to add mentorJose Meseguer | grad student | 2012 | UIUC | |
(Security models in rewriting logic for cryptographic protocols and browsers.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Dreier J, Hirschi L, Radomirović S, et al. (2020) Verification of stateful cryptographic protocols with exclusive OR Journal of Computer Security. 28: 1-34 |
Basin DA, Cremers C, Kim TH, et al. (2016) Design, Analysis, and Implementation of ARPKI: an Attack-Resilient Public-Key Infrastructure Ieee Transactions On Dependable and Secure Computing. 15: 393-408 |
Basin D, Dreier J, Sasse R. (2015) Automated symbolic proofs of observational equivalence Proceedings of the Acm Conference On Computer and Communications Security. 2015: 1144-1155 |
Basin D, Keller M, Radomirović S, et al. (2015) Alice and Bob meet equational theories Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9200: 160-180 |
Escobar S, Sasse R, Meseguer J. (2012) Folding variant narrowing and optimal variant termination Journal of Logic and Algebraic Programming. 81: 898-928 |
Escobar S, Kapur D, Lynch C, et al. (2011) Protocol analysis in Maude-NPA using unification modulo homomorphic encryption Ppdp'11 - Proceedings of the 2011 Symposium On Principles and Practices of Declarative Programming. 65-76 |
Sasse R, Escobar S, Meadows C, et al. (2011) Protocol analysis modulo combination of theories: A case study in maude-NPA Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6710: 163-178 |
Escobar S, Meseguer J, Sasse R. (2008) Variant Narrowing and equational unification Electronic Notes in Theoretical Computer Science. 91-105 |
Escobar S, Meseguer J, Sasse R. (2008) Effectively checking the finite variant property Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5117: 79-93 |
Sasse R, Meseguer J. (2007) Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics Electronic Notes in Theoretical Computer Science. 176: 29-46 |