Security, privacy, and cryptography

Publication

Automated Verification of Selected Equivalences for Security Protocols

Bruno Blanchet, Martin Abadi, Cédric Fournet

20th IEEE Symposium on Logic in Computer Science (LICS 2005) | June 2005

Publication

Mercurial Commitments with Applications to Zero-Knowledge Sets

Melissa Chase, Alexander Healy, Anna Lysyanskaya, Tal Malkin, Leonid Reyzin

Eurocrypt 2005 | May 2005

Video

Some Open Problems in Large Volume Data Mining in Biomedical Applications

May 20, 2005 | Elvir Causevic

Recent advances in sensor technologies have enabled long term recordings of numerous physiologic parameters in patients, generating very large data sets. This phenomena extends to implantable sensors as well as non-invasively applied external sensors. A…

01:12:07

Publication

Validating a Web Service Security Abstraction by Typing

Andy Gordon, Riccardo Pucella

Formal Aspects of Computing | May 2005, Vol 17(3): pp. 277-318

Publication

Secure Web Services for Low-cost Devices

Johannes Helander, Yong Xiong

8th IEEE International Symposium on Object-oriented Real-time distributed Computing | May 2005

Publication

Moderately Hard, Memory-bound Functions

Martin Abadi, Mike Burrows, Mark Manasse, Ted Wobber

ACM Transactions on Internet Technology | May 2005, Vol 5: pp. 299-327

Publication

Stopping Spam

Joshua Goodman, David Heckerman, Robert Rounthwaite

Scientific American | April 2005, Vol 292: pp. 42-49

Publication

A Type Discipline for Authorization Policies

Cédric Fournet, Andy Gordon, Sergio Maffeis

MSR-TR-2005-01 | April 2005

ISBN: 978-3-540-25435-5 (Print) 978-3-540-31987-0 (Online)

14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005.

Publication

Some Things Algorithms Cannot Do

Dean Rosenzweig, Davor Runje

MSR-TR-2005-52 | April 2005

Video

802.11i Security Analysis: Can we build a secure WLAN?

March 24, 2005 | Changhua He

Security has become a serious concern in wireless local area networks. In order to eliminate the vulnerabilities in previous security mechanisms, IEEE Task Group i has designed 802.11i to provide enhanced MAC security in a…

01:03:59

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Automated Verification of Selected Equivalences for Security Protocols

Mercurial Commitments with Applications to Zero-Knowledge Sets

Some Open Problems in Large Volume Data Mining in Biomedical Applications

Validating a Web Service Security Abstraction by Typing

Secure Web Services for Low-cost Devices

Moderately Hard, Memory-bound Functions

Stopping Spam

A Type Discipline for Authorization Policies

Some Things Algorithms Cannot Do

802.11i Security Analysis: Can we build a secure WLAN?

Security, privacy, and cryptography

Highlights