| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter: Simulation of Security Protocols based on Scenarios of Attacks. Fundam. Inform. 93(1-3): 185-203 (2009) |
| 2007 | ||
| 2 | EE | Gizela Jakubowska, Wojciech Penczek: Is Your Security Protocol on Time ? FSEN 2007: 65-80 |
| 1 | EE | Gizela Jakubowska, Wojciech Penczek: Modelling and Checking Timed Authentication of Security Protocols. Fundam. Inform. 79(3-4): 363-378 (2007) |
| 1 | Piotr Dembinski | [3] |
| 2 | Wojciech Penczek | [1] [2] [3] |
| 3 | Maciej Szreter | [3] |