Petra Sala

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Network Simulator

Coloured Petri Nets

Top Venues

IACR Cryptol. ePrint Arch.

Security Protocols Workshop

Publications

Afonso Arriaga, Petra Sala, Marjan Skrobot
Wireless-Channel Key Exchange. CT-RSA (2023)
Afonso Arriaga, Petra Sala, Marjan Skrobot
Wireless-channel Key Exchange. IACR Cryptol. ePrint Arch. 2023 (2023)
Michel Abdalla, Manuel Barbosa, Peter B. Rønne, Peter Y. A. Ryan, Petra Sala
Security Characterization of J-PAKE and its Variants. IACR Cryptol. ePrint Arch. 2021 (2021)
José Becerra, Peter Y. A. Ryan, Petra Sala, Marjan Skrobot
An Offline Dictionary Attack Against zkPAKE Protocol. SEC (2019)
José Becerra, Peter B. Rønne, Peter Y. A. Ryan, Petra Sala
HoneyPAKEs. Security Protocols Workshop (2018)
José Becerra, Peter Y. A. Ryan, Petra Sala, Marjan Skrobot
An Offline Dictionary Attack against zkPAKE Protocol. WISEC (2018)
José Becerra, Vincenzo Iovino, Dimiter Ostrev, Petra Sala, Marjan Skrobot
Tightly-Secure PAK(E). CANS (2017)
José Becerra, Vincenzo Iovino, Dimiter Ostrev, Petra Sala, Marjan Skrobot
Tightly-Secure PAK(E). IACR Cryptol. ePrint Arch. 2017 (2017)
José Becerra, Petra Sala, Marjan Skrobot
An Offline Dictionary Attack against zkPAKE Protocol. IACR Cryptol. ePrint Arch. 2017 (2017)