Security, privacy, & cryptography

Publication

Perspectives on Security (slides)

Butler Lampson

25th ACM Symposium on Operating Systems Principles | October 2015

Slides

Publication

Fast, uniform, and compact scalar multiplication for elliptic curves and genus 2 Jacobians with applications to signature schemes

Ping Ngai Chung, Craig Costello, Benjamin Smith

MSR-TR-2015-81 | October 2015

Publication

Moat: Verifying Confidentiality of Enclave Programs

Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, Kapil Vaswani

The ACM Conference on Computer and Communications Security (CCS) | October 2015

Publication

Key Recovery for LWE in Polynomial Time

Kim Laine, Kristin Lauter

IACR Cryptology ePrint Archive | October 2015

Projet

Publication

CrowdTarget: Target-based Detection of Crowdturfing in Online Social Networks

Jonghyuk Song, Sangho Lee, Jong Kim

22nd ACM Conference on Computer and Communications Security (CCS 2015) | October 2015

Publication

Attacks on search RLWE

Hao Chen, Kristin Lauter, Katherine E Stange

MSR-TR-2015-93 | October 2015

Projet

Publication

Public-Key Encryption Schemes With Bounded CCA Security and Optimal Ciphertext Length Based on the CDH and HDH Assumptions

Mayana Pereira, Rafael Dowsley, Anderson C.A. Nascimento, Goichiro Hanaoka

The Computer Journal | September 2015, Vol 58(10): pp. 2738-2746

Vidéo

Human factors of software updates

September 30, 2015 | Kami Vaniea

Many people delay or completely avoid updating the software on their devices. This can cause serious issues for security and software management. Most computers are compromised using vulnerabilities for which a security update already exists.…

59:06

Publication

Optimal Lost-Link Policies for Unmanned Aircraft

Youngjun Kim, Mykel Kochenderfer, Justin Grana, David Wolpert

2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) | September 2015

Publication

Accelerating Homomorphic Evaluation on Reconfigurable Hardware

Thomas Pöppelmann, Michael Naehrig, Andrew Putnam, Adrián Macías

Cryptographic Hardware and Embedded Systems – CHES 2015 – 17th International Workshop, Saint-Malo, France | September 2015

ISBN: 978-3-662-48323-7

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

Perspectives on Security (slides)

Fast, uniform, and compact scalar multiplication for elliptic curves and genus 2 Jacobians with applications to signature schemes

Moat: Verifying Confidentiality of Enclave Programs

Key Recovery for LWE in Polynomial Time

CrowdTarget: Target-based Detection of Crowdturfing in Online Social Networks

Attacks on search RLWE

Public-Key Encryption Schemes With Bounded CCA Security and Optimal Ciphertext Length Based on the CDH and HDH Assumptions

Human factors of software updates

Optimal Lost-Link Policies for Unmanned Aircraft

Accelerating Homomorphic Evaluation on Reconfigurable Hardware

Security, privacy, & cryptography

Fait saillants