What a lovely hat
Is it made out of
tin foil
?
DBLP data
CryptoDB
Cryptobib
Michael Walfish
Google Scholar
10
publications in security and cryptology related venues
Year
Venue
Title
2023
conf/sp
Less is more: refinement proofs for probabilistic proofs.
Kunming Jiang
Devora Chait-Roth
Zachary DeStefano
Michael Walfish
Thomas Wies
2022
conf/uss
Zero-Knowledge Middleboxes.
Paul Grubbs
Arasu Arun
Ye Zhang
Joseph Bonneau
Michael Walfish
2018
conf/sp
Doubly-Efficient zkSNARKs Without Trusted Setup.
Riad S. Wahby
Ioanna Tzialla
Abhi Shelat
Justin Thaler
Michael Walfish
2017
conf/ccs
Full Accounting for Verifiable Outsourcing.
Riad S. Wahby
Ye Ji
Andrew J. Blumberg
Abhi Shelat
Justin Thaler
Michael Walfish
Thomas Wies
2016
conf/uss
Defending against Malicious Peripherals with Cinch.
Sebastian Angel
Riad S. Wahby
Max Howald
Joshua B. Leners
Michael Spilo
Zhen Sun
Andrew J. Blumberg
Michael Walfish
2016
conf/sp
Verifiable ASICs.
Riad S. Wahby
Max Howald
Siddharth Garg
Abhi Shelat
Michael Walfish
2015
conf/ndss
Efficient RAM and control flow in verifiable outsourced computation.
Riad S. Wahby
Srinath T. V. Setty
Zuocheng Ren
Andrew J. Blumberg
Michael Walfish
2013
conf/sp
A Hybrid Architecture for Interactive Verifiable Computation.
Victor Vu
Srinath T. V. Setty
Andrew J. Blumberg
Michael Walfish
2012
conf/uss
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality.
Srinath T. V. Setty
Victor Vu
Nikhil Panpalia
Benjamin Braun
Andrew J. Blumberg
Michael Walfish
2012
conf/ndss
Making argument systems for outsourced computation practical (sometimes).
Srinath T. V. Setty
Richard McPherson
Andrew J. Blumberg
Michael Walfish
Coauthors
Abhi Shelat
(3)
Andrew J. Blumberg
(6)
Arasu Arun
(1)
Benjamin Braun
(1)
Devora Chait-Roth
(1)
Ioanna Tzialla
(1)
Joseph Bonneau
(1)
Joshua B. Leners
(1)
Justin Thaler
(2)
Kunming Jiang
(1)
Max Howald
(2)
Michael Spilo
(1)
Michael Walfish
(10)
Nikhil Panpalia
(1)
Paul Grubbs
(1)
Riad S. Wahby
(5)
Richard McPherson
(1)
Sebastian Angel
(1)
Siddharth Garg
(1)
Srinath T. V. Setty
(4)
Thomas Wies
(2)
Victor Vu
(2)
Ye Ji
(1)
Ye Zhang
(1)
Zachary DeStefano
(1)
Zhen Sun
(1)
Zuocheng Ren
(1)
Filters
Crypto
Eurocrypt
Asiacrypt
Public Key Cryptography
Theory of Cryptography
Journal of Cryptology
Transactions on Symmetric Cryptology
Transactions on Cryptographic Hardware and Embedded Computing
Communications in Cryptology
Fast Software Encryption
Cryptographic Hardware and Embedded Computing Conference
Usenix Security
IEEE Security and Privacy
ACM CCS
Network and Distributed System Security
Financial cryptography
Cryptographer's Track at RSA Conference (CT-RSA)
ESORICS
IEEE Transactions on Information Forensics and Security
Computers & Security
Journal of Information Security and Applications
IEEE Conference on Blockchains and Cryptocurrency (ICBC)
Asia CCS
European Security & privacy
Symposium on Useful Privacy and Security
Privacy Enhancing Technologies
Security and Privacy in Communication Networks
Cryptology and Network Security
Annual Computer Security Applications Conference
Dependable Systems and Networks
IEEE Computer Security Foundations Workshop
IEEE Conference and Communications and Network Security
International Conference on Applied Cryptography and Network Security
Selected Areas in Cryptology
International Conference on Information Security and Cryptology (ICISC)
International Conference on Information and Communication (ICICS)
IFIP International Information Security Conference (SEC)
Conference on Security and Privacy in Wireless and Mobile Networks (WISEC)
IEEE International Symposium on Hardware Oriented Security and Trust
New Security Paradigms Workshop
Information Hiding and Multimedia Security Workshop
Australasian Conference on Information Security and Privacy
AfricaCrypt
LatinCrypt
International Conference on Cyber Security and Resilience
Asia Joint Conference on information Security
International Conference on information Security Applications
ACM Asia Public-Key Cryptography Workshop
International Workshop on Lightweight Cryptography for Security and Privacy
Workshop on Fault Detection and Tolerance in Cryptography
International Conference on Blockchain Technology and Emerging Technologies
Provable Security
Cloud Computing Security Workshop (CCSW)
International Workshop on Security (IWSEC)
International Conference on Information System Security (ICISS)
Select all
Unselect all
Years:
to