IEEE Security & Privacy

Journal: IEEE Security & Privacy

Abbreviation

IEEE secur. priv.

Publisher

IEEE

ISSN

1540-7993
1558-4046

Show all metadata

Search Results

Publications 1 - 10 of 16

Can Content-Based Data Loss Prevention Solutions Prevent Data Leakage in Web Traffic?
Gugelmann, David; Studerus, Pascal; Lenders, Vincent; et al. (2015)
IEEE Security & Privacy
Analyzing Cryptography in the Wild: A Retrospective
Albrecht, Martin R.; Paterson, Kenneth G. (2024)
IEEE Security & Privacy
We reflect on our experiences analyzing cryptography deployed "in the wild" and give recommendations to fellow researchers about this process.
On Secure Data Deletion
Reardon, Joel; Basin, David; Capkun, Srdjan (2014)
IEEE Security & Privacy
Is Bitcoin a Decentralized Currency?
Gervais, Arthur; Karame, Ghassan O.; Capkun, Vedran; et al. (2014)
IEEE Security & Privacy
End-to-End Encrypted Cloud Storage
Backendal, Matilda; Haller, Miro; Paterson, Kenny (2024)
IEEE Security & Privacy
End-to-end encryption is rapidly becoming the accepted security goal for personal data. In this article, we examine consumer cloud storage systems, focusing in particular on those systems that attempt to provide end-to-end security for customer data. We survey the security guarantees of current service providers and the issues they face, discuss open research questions, and highlight the challenges that impede the deployment of end-to-end secure cloud storage.
Usage control enforcement - Present and future
Pretschner, Alexander; Hilty, Manuel; Schuetz, Florian; et al. (2008)
IEEE Security & Privacy
Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols
Basin, David; Cremers, Cas; Dreier, Jannik; et al. (2022)
IEEE Security & Privacy
Tamarin is a mature, state-of-the-art tool for cryptographic protocol verification. We survey some of the larger tour de force results achieved and show how Tamarin can formalize protocols, adversary models, and properties, and scale to substantial, real world, verification problems.
Are We Really Close? Verifying Proximity in Wireless Systems
Ranganathan, Aanjhan; Capkun, Srdjan (2017)
IEEE Security & Privacy
Dedicated Security Chips in the Age of Secure Enclaves
Kostiainen, Kari; Dhar, Aritra; Capkun, Srdjan (2020)
IEEE Security & Privacy
Secure enclave architectures have become prevalent in modern CPUs. Enclaves provide a flexible way to implement various hardware-assisted security services. But special-purpose security chips can still have advantages. Interestingly, dedicated security chips can also assist enclaves and improve their security.
The Untapped Potential of Trusted Execution Environments on Mobile Devices
Ekberg, Jan-Erik; Kostiainen, Kari; Asokan, N. (2014)
IEEE Security & Privacy

Publications 1 - 10 of 16

Journal: IEEE Security & Privacy

Abbreviation

Publisher

Journal Volumes

ISSN

Description

Filters

Search Results