Security, privacy, & cryptography

论文与出版物

Smart Meter Aggregation via Secret-Sharing

George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella-Béguelin

2013 Smart Energy Grid Security Workshop, SEGS 2013 | January 2013

To appear

论文与出版物

Protect Sensitive Sites from Phishing Attacks Using Features Extractable from Inaccessible Phishing URLs

Weibo Chu, Bin Benjamin Zhu, Feng Xue, Xiaohong Guan, Zhongmin Cai

January 2013

论文与出版物

Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage

Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis

2nd Conference on Principles of Security and Trust (POST 2013) | January 2013

论文与出版物

On the (In)security of the Fiat-Shamir Paradigm, Revisited

Nir Bitansky, Dana Dachman-Soled, Sanjam Garg, Abhishek Jain, Yael Tauman Kalai, Adriana LÓpez-Alt, Daniel Wichs

In Proceedings of the 10th Theory of Cryptography Conference (TCC) | January 2013

论文与出版物

The Realm of the Pairings (Invited Paper)

Diego F. Aranha, Paulo S.L.M. Barreto, Patrick Longa, Jefferson E. Ricardini

Selected Areas in Cryptography (SAC 2013) | January 2013

论文与出版物

How to Run Turing Machines on Encrypted Data

Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich

In Advances in Cryptology (CRYPTO) | January 2013, pp. 536-553

论文与出版物

Secure Computation Against Adaptive Auxiliary Information

Elette Boyle, Sanjam Garg, Abhishek Jain, Yael Tauman Kalai, Amit Sahai

Advances in Cryptology (CRYPTO) | January 2013, pp. 316-334

论文与出版物

Contagion and Observability In Security Domains

Yoram Bachrach, Moez Draief, Sanjeev Goyal

Allerton | January 2013

论文与出版物

Secure HPTS Requires Secure Hardware

Mr.X Ex Al

January 2013

论文与出版物

Types and Access Control for Cross-Domain Security in Flash

Aseem Rastogi, Avik Chaudhuri, Rob Johnson

APLAS ’12 10th Asian Symposium on Programming Languages and Systems, Kyoto, Japan | December 2012

ISBN: 978-3-642-35182-2

Security, privacy, & cryptography

Verifying Rust cryptography in SymCrypt, from standards to code

Vega: Zero-knowledge proofs for digital identity in the age of AI

Ire identifies another LOTUSLITE specimen

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

Smart Meter Aggregation via Secret-Sharing

Protect Sensitive Sites from Phishing Attacks Using Features Extractable from Inaccessible Phishing URLs

Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage

On the (In)security of the Fiat-Shamir Paradigm, Revisited

The Realm of the Pairings (Invited Paper)

How to Run Turing Machines on Encrypted Data

Secure Computation Against Adaptive Auxiliary Information

Contagion and Observability In Security Domains

Secure HPTS Requires Secure Hardware

Types and Access Control for Cross-Domain Security in Flash

Security, privacy, & cryptography

高亮