Simon Kramer

other persons with the same name:

• Simon Kramer
• Simon Kramer

	2008
4		Simon Kramer: Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography. J. Log. Algebr. Program. 77(1-2): 60-91 (2008)
	2007
3		Simon Kramer: Logical concepts in cryptography. SIGACT News 38(4): 65-66 (2007)
	2006
2		Johannes Borgström, Olga Grinchtein, Simon Kramer: Timed Calculus of Cryptographic Communication. Formal Aspects in Security and Trust 2006: 16-30
	2000
1		Heiko Ludwig, Luke O'Connor, Simon Kramer: MIERA: Method for Inter-Enterprise Role-Based Authorization. EC-Web 2000: 133-144

Coauthor Index

1	Johannes Borgström	[2]
2	Olga Grinchtein	[2]
3	Heiko Ludwig	[1]
4	Luke O'Connor	[1]

Colors in the list of coauthors