Miroslaw Kurkowski

	2009
4		Miroslaw Kurkowski, Wojciech Penczek: Timed Automata Based Model Checking of Timed Security Protocols. Fundam. Inform. 93(1-3): 245-259 (2009)
	2007
3		Miroslaw Kurkowski, Wojciech Penczek: Verifying Security Protocols Modelled by Networks of Automata. Fundam. Inform. 79(3-4): 453-471 (2007)
	2006
2		Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny: SAT-Based Verification of Security Protocols Via Translation to Networks of Automata. MoChArt 2006: 146-165
1		Miroslaw Kurkowski, Marian Srebrny: A Quantifier-free First-order Knowledge Logic of Authentication. Fundam. Inform. 72(1-3): 263-282 (2006)

Coauthor Index

1	Wojciech Penczek	[2] [3] [4]
2	Marian Srebrny	[1]
3	Andrzej Zbrzezny	[2]

Colors in the list of coauthors