GlassTube: a lightweight approach to web application integrity. - Per A. Hallgren; Daniel T. Mauritzson; Andrei Sabelfeld (PLAS, 2013)

Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. - Martín Ochoa; Jorge Cuéllar; Alexander Pretschner; Per A. Hallgren (ESSoS, 2015)

BetterTimes - Privacy-Assured Outsourced Multiplications for Additively Homomorphic Encryption on Finite Fields. - Per A. Hallgren; Martín Ochoa; Andrei Sabelfeld (ProvSec, 2015)

InnerCircle: A parallelizable decentralized privacy-preserving location proximity protocol. - Per A. Hallgren; Martín Ochoa; Andrei Sabelfeld (PST, 2015)

Location-enhanced authentication using the IoT: because you cannot be in two places at once. - Ioannis Agadakos; Per A. Hallgren; Dimitrios Damopoulos; Andrei Sabelfeld; Georgios Portokalidis (ACSAC, 2016)

MaxPace: Speed-constrained location queries. - Per A. Hallgren; Martín Ochoa; Andrei Sabelfeld (CNS, 2016)

PrivatePool: Privacy-Preserving Ridesharing. - Per A. Hallgren; Claudio Orlandi; Andrei Sabelfeld (CSF, 2017)

Privacy-Preserving Location-Proximity for Mobile Apps. - Simonas Stirbys; Omar Abu Nabah; Per A. Hallgren; Andrei Sabelfeld (PDP, 2017)

Location Proximity Attacks Against Mobile Targets: Analytical Bounds and Attacker Strategies. - Xueou Wang; Xiaolu Hou; Ruben Rios; Per A. Hallgren; Nils Ole Tippenhauer; Martín Ochoa (ESORICS (2), 2018)

Assuring BetterTimes. - Per A. Hallgren; Ravi Kishore; Martín Ochoa; Andrei Sabelfeld (J. Comput. Secur., 2018)

SecProtobuf: Implicit Message Integrity Provision in Heterogeneous Vehicular Systems. - Paul Molloy; Mohammad Khodaei; Per A. Hallgren; Alexandre Thenorio; Panos Papadimitratos (VNC, 2021)