Security, privacy, & cryptography

Publication

RAIN: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking

Yang Ji, Sangho Lee, Evan Downing, Weiren Wang, Mattia Fazzini, Taesoo Kim, Alessandro Orso, Wenke Lee

24th ACM Conference on Computer and Communications Security (CCS 2017) | October 2017

Publication

SGX-Bomb: Locking Down the Processor via Rowhammer Attack

Yeongjin Jang, Jaehyuk Lee, Sangho Lee, Taesoo Kim

2nd Workshop on System Software for Trusted Execution (SysTEX 2017) | October 2017

Project

Trusted Platform Module (TPM)

The TPM is a low-cost, but powerful and flexible, crypto-processor. A TPM does many of the things that a smart-card or hardware security module (HSM) does – for example, it is able to create, manage…

Publication

Cyber-Resilient Platforms Overview

Andrey Marochko, Dennis Mattoon, Paul England, Ronald Aigner, Rob Spiger (CELA), Stefan Thom

MSR-TR-2017-40 | September 2017

Project

Publication

Device Identity with DICE and RIoT: Keys and Certificates

paul england, ronald aigner, kevin kane, andrey marochko, dennis mattoon, rob spiger, stefan thom, greg zaverucha

MSR-TR-2017-41 | September 2017

Project

Cyber-Resilient Platform Program

adjective: resilient… able to withstand or recover quickly from difficult conditions. The Cyber Resilient Platforms Program (CyReP) is a Microsoft-led industry initiative to improve the security and resiliency of computers, with particular emphasis on cloud-managed…

Publication

The Binomial Ladder Frequency Filter and its Applications to Shared Secrets

MSR-TR-2018-18 | September 2017

Publication

Monitoring Stealthy Diffusion

Nika Haghtalab, Aron Laszka, Ariel D. Procaccia, Yevgeniy Vorobeychik, Xenofon D. Koutsoukos

Proceedings of the 15th IEEE International Conference on Data Mining (ICDM) 2015 | September 2017

Publication

SVAuth – A Single-Sign-On Integration Solution with Runtime Verification (tool paper)

Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer

International Conference on Runtime Verification 2017 | September 2017

Publication

A Traceability Analysis of Monero’s Blockchain

Amrit Kumar, Clement Fischer, Shruti Tople, Prateek Saxena

European Symposium on Research in Computer Security (ESORICS) | September 2017

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

RAIN: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking

SGX-Bomb: Locking Down the Processor via Rowhammer Attack

Trusted Platform Module (TPM)

Cyber-Resilient Platforms Overview

Device Identity with DICE and RIoT: Keys and Certificates

Cyber-Resilient Platform Program

The Binomial Ladder Frequency Filter and its Applications to Shared Secrets

Monitoring Stealthy Diffusion

SVAuth – A Single-Sign-On Integration Solution with Runtime Verification (tool paper)

A Traceability Analysis of Monero’s Blockchain

Security, privacy, & cryptography

Highlights