Computational soundness of formal adversaries
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, February 2003.
Main Author: | Herzog, Jonathan, 1975- |
---|---|
Other Authors: | Ron Rivest. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/87334 |
Similar Items
-
Computational soundness for standard assumptions of formal cryptography
by: Herzog, Jonathan, 1975-
Published: (2005) -
A formal model of non-determinate dataflow computation
by: Brock, Jarvis Dean
Published: (2006) -
Understanding the landscape of adversarial robustness
by: Engstrom, Logan(Logan G.)
Published: (2019) -
Adversarial uses of affective computing and ethical implications
by: Reynolds, Carson Jonathan, 1976-
Published: (2007) -
Sound-source recognition : a theory and computational model
by: Martin, Keith Dana
Published: (2005)