Saša Radomirovic

+44 (0)1382 385317
Senior Lecturer

Publications

A Formal Analysis of 5G Authentication
7/2018
Research Output: Contribution To Book Anthology > Conference contribution

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
3/2018
Research Output: Contribution To Book Anthology > Conference contribution

Alethea : A Provably Secure Random Sample Voting Protocol
3/2018
Research Output: Contribution To Book Anthology > Conference contribution

An Anti-Pattern for Misuse Cases
8/2017
Research Output: Contribution To Book Anthology > Conference contribution

Force Open : Lightweight black box file repair
1/2017, Digital Investigation
Research Output: Contribution To Journal > Article

Guided Specification and Analysis of a Loyalty Card System
2/2016
Research Output: Contribution To Book Anthology > Conference contribution

Modeling human errors in security protocols
/2016
Research Output: Contribution To Book Anthology > Conference contribution

A Complete Characterization of Secure Human-Server Communication
9/2015
Research Output: Contribution To Book Anthology > Conference contribution

Alice and Bob Meet Equational Theories
8/2015
Research Output: Contribution To Book Anthology > Conference contribution

Attack Trees with Sequential Conjunction
5/2015
Research Output: Contribution To Book Anthology > Conference contribution

View full profile on research portal