Security, privacy, & cryptography
Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.
プロジェクト
Post-quantum Cryptography VPN
Post-quantum Crypto and VPNs Every time you make a secure connection over the internet – to your bank, to Facebook, or nearly anywhere online – cryptography is what keeps that communication secure. Some of that…
動画
PNW PLSE Workshop: Featured Talk: Continuously Integrated Verified Cryptography
The PNW PLSE workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, interact, and share work in progress as well as recent results. The meeting on May…
ツール
Trusted Platform Module (TPM) Reference implementation – 2.0 specification
This is a Microsoft Visual Studio solution that contains reference implementation of the TPM 2.0 Specification by TCG available at https://trustedcomputinggroup.org/tpm-library-specification (opens in new tab). See the TPMCmd/tpm/include/TpmTypes.h header for the exact revision/date of the TPM…
動画
Cryptographic Program Obfuscation: Current Capabilities and Challenges
Cryptographic program obfuscation (CPO) enables the evaluation of obfuscated programs/circuits for non-encrypted inputs using cryptographic approaches based on standard (or almost standard) security assumptions. CPO is a hot topic of cryptography that has recently seen…
