Search results for "Simon Kramer"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Simon Kramer	A Logic of Interactive Proofs	CoRR	2012	DBLP BibTeX RDF
1	Simon Kramer, Rajeev Goré, Eiji Okamoto	Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Simon Kramer, Peter Y. A. Ryan	A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems.	REVOTE	2011	DBLP DOI BibTeX RDF
1	Simon Kramer, Rajeev Goré, Eiji Okamoto	Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-based cryptography.	SIGACT News	2010	DBLP DOI BibTeX RDF
1	Simon Kramer, Julian C. Bradfield	A general definition of malware.	Journal in Computer Virology	2010	DBLP DOI BibTeX RDF
1	Simon Kramer	Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography.	J. Log. Algebr. Program.	2008	DBLP DOI BibTeX RDF
1	Simon Kramer	Logical concepts in cryptography.	SIGACT News	2007	DBLP DOI BibTeX RDF	applied formal logic, information security
1	Simon Kramer	Logical Concepts in Cryptography.	IACR Cryptology ePrint Archive	2006	DBLP BibTeX RDF
1	Johannes Borgström, Olga Grinchtein, Simon Kramer	Timed Calculus of Cryptographic Communication.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF	Applied process calculi, timed cryptographic protocols, model-based specification and verification, formal modelling
1	Heiko Ludwig, Luke O'Connor, Simon Kramer	MIERA: Method for Inter-Enterprise Role-Based Authorization.	EC-Web	2000	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )

Publications of "Simon Kramer" ( http://dblp.L3S.de/Authors/Simon_Kramer )