Semantic models for the security of sequential and concurrent programs

von Sabelfeld, Andrei
Veröffentlicht 2001

Semantic models for the security of sequential and concurrent programs

von Sabelfeld, Andrei
Veröffentlicht 2001

Where Are You Bob? Privacy-Preserving Proximity Testing with a Napping Party

von Oleynikov, Ivan
Veröffentlicht in ESORICS (25. : 2020 : Online) Computer Security – ESORICS 2020 ; Part 1 (2020)

HMAC and “Secure Preferences”: Revisiting Chromium-Based Browsers Security

von Picazo-Sanchez, Pablo
Veröffentlicht in CANS (19. : 2020 : Online) Cryptology and network security (2020)

SecWasm: Information Flow Control for WebAssembly

von Bastys, lulia
Veröffentlicht in SAS (29. : 2022 : Auckland) Static analysis (2022)

LATEX GLOVES: PROTECTING BROWSER EXTENSIONS FROM PROBING AND REVELATION ATTACKS

von Sjosten, Alexander
Veröffentlicht in Network and Distributed System Security Symposium (26. : 2019 : San Diego, Calif.) Network and Distributed System Security Symposium 2019 ; Volume 1 of 2 (2020)