Security, privacy, & cryptography

公開日

Black-Box Circular-Secure Encryption Beyond Affine Functions

Zvika Brakerski, Shafi Goldwasser, Yael Tauman Kalai

In Theory of Cryptography – 8th Theory of Cryptography Conference (TCC) | January 2011

公開日

AutoLog: facing log redundancy and insufficiency

Ming Wu, Longwen Lu, Yu Fan, Jianjun Zhao, Zheng Zhang, Cheng Zhang, Zhenyu Guo

APSys | January 2011

公開日

Attractive Subfamilies of BLS Curves for Implementing High-Security Pairings

Craig Costello, Kristin Lauter, Michael Naehrig

Progress in Cryptology – INDOCRYPT 2011, Lecture Notes in Computer Science 7107 | January 2011

プロジェクト

公開日

Detecting Malicious Web Links and Identifying Their Attack Types

Hyunsang Choi, Bin Benjamin Zhu, Heejo Lee

USENIX Conference on Web Application Development 2011 | January 2011

公開日

Leaky Pseudo-Entropy Functions

Mark Braverman, Avinatan Hassidim, Yael Tauman Kalai

In Proc. of the Innovations in Computer Science (ICS) | January 2011

公開日

Can Homomorphic Encryption be Practical?

Kristin Lauter, Michael Naehrig, Vinod Vaikuntanathan

ACM Cloud Computing Security Workshop – CCSW 2011 | January 2011

プロジェクト

公開日

WIN””Women in Numbers: Research Directions in Number Theory

Kristin Lauter, Alina-Carmen Cojocaru, Rachel Pries, Renate Scheidler

Published by American Mathematical Society | January 2011

公開日

Group Law Computations on Jacobians of Hyperelliptic Curves

Craig Costello, Kristin Lauter

Selected Areas in Cryptography | January 2011

Selected Areas in Cryptography

ISBN: 978-3-642-28495-3

公開日

Balls and Bins: Smaller Hash Families and Faster Evaluation

Elisa Celis, Omer Reingold, Gil Segev, Udi Wieder

FOCS | January 2011

FOCS

公開日

Cryptographic Verification by Typing for a Sample Protocol Implementation

Cédric Fournet, Karthik Bhargavan, Andy Gordon

Foundations of Security Analysis and Design VI | Springer Berlin Heidelberg による投稿 | 2011, Vol 6858

ISBN: 9783642230813

Lecture Notes in Computer Science 6858

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

Black-Box Circular-Secure Encryption Beyond Affine Functions

AutoLog: facing log redundancy and insufficiency

Attractive Subfamilies of BLS Curves for Implementing High-Security Pairings

Detecting Malicious Web Links and Identifying Their Attack Types

Leaky Pseudo-Entropy Functions

Can Homomorphic Encryption be Practical?

WIN””Women in Numbers: Research Directions in Number Theory

Group Law Computations on Jacobians of Hyperelliptic Curves

Balls and Bins: Smaller Hash Families and Faster Evaluation

Cryptographic Verification by Typing for a Sample Protocol Implementation

Security, privacy, & cryptography

ハイライト