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