John L. Manferdelli

Publication Activity (10 Years)

Years Active: 1984-2016
Publications (10 Years): 1

Top Topics

Trusted Computing

Trusted Third Party

Top Venues

Publications

Jethro G. Beekman, John L. Manferdelli, David A. Wagner
Attestation Transparency: Building secure Internet services for legacy clients. AsiaCCS (2016)
Wei Yang Tan, Rohit Sinha, John L. Manferdelli, Sanjit A. Seshia
Formal Modeling and Verification of CloudProxy. VSTTE (2014)
John L. Manferdelli, Naga K. Govindaraju, Chris Crall
Challenges and Opportunities in Many-Core Computing. Proc. IEEE 96 (5) (2008)
James A. Reeds, John L. Manferdelli
DES Has No Per Round Linear Factors. CRYPTO (1984)