Miroslaw Kurkowski

1PUBLICATIONS
4CO-AUTHORS
Photonic and electro-optical devices, sensors and systems (excl. communications)
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Apr 30, 2021
SAT and SMT-Based Verification of Security Protocols Including Time Aspects.

Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M Zbrzezny

Pageof 1

Frequent Collaborators

1 joint publications

Sabina Szymoniak

1 joint publications

Olga Siedlecka-Lamch

1 joint publications

Agnieszka M Zbrzezny

1 joint publications

Andrzej Zbrzezny