Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
Publications
Publications by Year
-
High Assurance Policy-Based Key Management at Low Cost
Tolga Acar, Lan Nguyen
MSR-TR-2014-49 | April 2014
-
A TPM Diffie-Hellman Oracle
Tolga Acar, Greg Zaverucha, Lan Nguyen
MSR-TR-2013-105 | October 2013
Single Password Authentication
Tolga Acar, Mira Belenkiy, Alptekin Kupcu
Computer Networks | June 2013
Accumulators and U-Prove Revocation
Lan Nguyen, Tolga Acar
Financial Cryptography'13 | April 2013
Affine Pairings on ARM
Kristin Lauter, Tolga Acar, Michael Naehrig, Daniel Shumow, Dan Shumow
Lecture Notes in Computer Science 7708, Pairing-based Cryptography -- Pairing 2012 | January 2013
-
Affine Pairings on ARM
Tolga Acar, Kristin Lauter, Michael Naehrig, Dan Shumow
Pairing 2012 | May 2012
See http://research.microsoft.com/apps/pubs/default.aspx?id=149608 for an e-print version.
Security Domains: Key Management in Large-Scale Systems
John R. Michener, Tolga Acar
IEEE Software | February 2012, Vol 17(5): pp. 52-58
-
Affine Pairings on ARM
Tolga Acar, Kristin Lauter, Michael Naehrig, Dan Shumow
2011/43 | May 2011
Cryptology ePrint Archive, Report 2011/243
Homomorphic Proofs and Applications
Tolga Acar, Lan Nguyen
Public Key Cryptography (PKC 2011) | March 2011
Public Key Cryptography (PKC 2011)
-
Revocation for Delegatable Anonymous Credentials
Tolga Acar, Lan Nguyen
MSR-TR-2010-170 | December 2010
International Association for Cryptologic Research
Key Management In Distributed Systems
Tolga Acar, Mira Belenkiy, Carl Ellison, Lan Nguyen
MSR-TR-2010-78 | June 2010
Published by Microsoft
Previously submitted to NDSS 2010.
Cryptographic Agility and its Relation to Circular Encryption
Tolga Acar, Mira Belenkiy, Mihir Bellare, David Cash
EUROCRYPT 2010 | May 2010
Modular Reduction without Pre-computation for Special Moduli
January 2010 | (in preparation) edition edition
(in preparation)
-
Risks in Features vs. Assurance
Tolga Acar, John Michener
CACM | August 2002, Vol 45: pp. 112-146
-
Managing system and active-content integrity
Tolga Acar, John Michener
IEEE Computer | July 2000
-
High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems
June 1998
PhD Thesis: Oregon State University | June 1998
Montgomery Multiplication in GF(2 ^k)
Cetin K. Koc, Tolga Acar
Designs, Codes and Cryptography | March 1998, Vol 14(1): pp. 57-69
-
High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems
December 1997
Fast software exponentiation in GF(2k)
C.K. Koc, Tolga Acar
1997 Symposium on Computer Arithmetic | March 1997
-
Analyzing and Comparing Montgomery Multiplication Algorithms
Tolga Acar, Burt Kaliski, Cetin K. Koc
IEEE Micro | January 1996, Vol 16: pp. 26-33
-
Multiscale Edge Integration by Weighted Accumulation
Tolga Acar, Muhittin Gokmen
International Symposium on Computer and Information Sciences | September 1994
Editor(s): Aggelos K. Katsaggelos
ISCIS X
Nonstandard Regularization for Selected Image Processing and Computer Vision Problems
September 1994
Master's Thesis: Istanbul Technical University | September 1994
Image coding using weak membrane model of images
Tolga Acar, Muhittin Gokmen
Proc. Vis. Comm. and Image Processing | January 1994
Publications by Research Area
-
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
Accumulators and U-Prove Revocation
Lan Nguyen, Tolga Acar
Financial Cryptography'13 | April 2013
Revocation for Delegatable Anonymous Credentials
Tolga Acar, Lan Nguyen
MSR-TR-2010-170 | December 2010
International Association for Cryptologic Research
-
High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems
June 1998
PhD Thesis: Oregon State University | June 1998
Montgomery Multiplication in GF(2 ^k)
Cetin K. Koc, Tolga Acar
Designs, Codes and Cryptography | March 1998, Vol 14(1): pp. 57-69
High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems
December 1997
Fast software exponentiation in GF(2k)
C.K. Koc, Tolga Acar
1997 Symposium on Computer Arithmetic | March 1997
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
High Assurance Policy-Based Key Management at Low Cost
Tolga Acar, Lan Nguyen
MSR-TR-2014-49 | April 2014
A TPM Diffie-Hellman Oracle
Tolga Acar, Greg Zaverucha, Lan Nguyen
MSR-TR-2013-105 | October 2013
Single Password Authentication
Tolga Acar, Mira Belenkiy, Alptekin Kupcu
Computer Networks | June 2013
Affine Pairings on ARM
Tolga Acar, Kristin Lauter, Michael Naehrig, Dan Shumow
Pairing 2012 | May 2012
See http://research.microsoft.com/apps/pubs/default.aspx?id=149608 for an e-print version.
Homomorphic Proofs and Applications
Tolga Acar, Lan Nguyen
Public Key Cryptography (PKC 2011) | March 2011
Public Key Cryptography (PKC 2011)
Key Management In Distributed Systems
Tolga Acar, Mira Belenkiy, Carl Ellison, Lan Nguyen
MSR-TR-2010-78 | June 2010
Published by Microsoft
Previously submitted to NDSS 2010.
Cryptographic Agility and its Relation to Circular Encryption
Tolga Acar, Mira Belenkiy, Mihir Bellare, David Cash
EUROCRYPT 2010 | May 2010
Modular Reduction without Pre-computation for Special Moduli
January 2010 | (in preparation) edition edition
(in preparation)
Risks in Features vs. Assurance
Tolga Acar, John Michener
CACM | August 2002, Vol 45: pp. 112-146
-
Managing system and active-content integrity
Tolga Acar, John Michener
IEEE Computer | July 2000
High Assurance Policy-Based Key Management at Low Cost
Tolga Acar, Lan Nguyen
MSR-TR-2014-49 | April 2014
Security Domains: Key Management in Large-Scale Systems
John R. Michener, Tolga Acar
IEEE Software | February 2012, Vol 17(5): pp. 52-58
Key Management In Distributed Systems
Tolga Acar, Mira Belenkiy, Carl Ellison, Lan Nguyen
MSR-TR-2010-78 | June 2010
Published by Microsoft
Previously submitted to NDSS 2010.
-
Affine Pairings on ARM
Kristin Lauter, Tolga Acar, Michael Naehrig, Daniel Shumow, Dan Shumow
Lecture Notes in Computer Science 7708, Pairing-based Cryptography -- Pairing 2012 | January 2013
Affine Pairings on ARM
Tolga Acar, Kristin Lauter, Michael Naehrig, Dan Shumow
2011/43 | May 2011
Cryptology ePrint Archive, Report 2011/243
-
High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems
June 1998
PhD Thesis: Oregon State University | June 1998
Montgomery Multiplication in GF(2 ^k)
Cetin K. Koc, Tolga Acar
Designs, Codes and Cryptography | March 1998, Vol 14(1): pp. 57-69
High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems
December 1997
Fast software exponentiation in GF(2k)
C.K. Koc, Tolga Acar
1997 Symposium on Computer Arithmetic | March 1997
Analyzing and Comparing Montgomery Multiplication Algorithms
Tolga Acar, Burt Kaliski, Cetin K. Koc
IEEE Micro | January 1996, Vol 16: pp. 26-33
Multiscale Edge Integration by Weighted Accumulation
Tolga Acar, Muhittin Gokmen
International Symposium on Computer and Information Sciences | September 1994
Editor(s): Aggelos K. Katsaggelos
ISCIS X
Nonstandard Regularization for Selected Image Processing and Computer Vision Problems
September 1994
Master's Thesis: Istanbul Technical University | September 1994
Homomorphic Proofs and Applications
Tolga Acar, Lan Nguyen
Public Key Cryptography (PKC 2011) | March 2011
Public Key Cryptography (PKC 2011)
-
Fast software exponentiation in GF(2k)
C.K. Koc, Tolga Acar
1997 Symposium on Computer Arithmetic | March 1997
-
Image coding using weak membrane model of images
Tolga Acar, Muhittin Gokmen
Proc. Vis. Comm. and Image Processing | January 1994
Publications by Type
-
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
High Assurance Policy-Based Key Management at Low Cost
Tolga Acar, Lan Nguyen
MSR-TR-2014-49 | April 2014
A TPM Diffie-Hellman Oracle
Tolga Acar, Greg Zaverucha, Lan Nguyen
MSR-TR-2013-105 | October 2013
Affine Pairings on ARM
Tolga Acar, Kristin Lauter, Michael Naehrig, Dan Shumow
2011/43 | May 2011
Cryptology ePrint Archive, Report 2011/243
Revocation for Delegatable Anonymous Credentials
Tolga Acar, Lan Nguyen
MSR-TR-2010-170 | December 2010
International Association for Cryptologic Research
Key Management In Distributed Systems
Tolga Acar, Mira Belenkiy, Carl Ellison, Lan Nguyen
MSR-TR-2010-78 | June 2010
Published by Microsoft
Previously submitted to NDSS 2010.
-
Managing system and active-content integrity
Tolga Acar, John Michener
IEEE Computer | July 2000
Montgomery Multiplication in GF(2 ^k)
Cetin K. Koc, Tolga Acar
Designs, Codes and Cryptography | March 1998, Vol 14(1): pp. 57-69
Analyzing and Comparing Montgomery Multiplication Algorithms
Tolga Acar, Burt Kaliski, Cetin K. Koc
IEEE Micro | January 1996, Vol 16: pp. 26-33
Single Password Authentication
Tolga Acar, Mira Belenkiy, Alptekin Kupcu
Computer Networks | June 2013
Security Domains: Key Management in Large-Scale Systems
John R. Michener, Tolga Acar
IEEE Software | February 2012, Vol 17(5): pp. 52-58
Risks in Features vs. Assurance
Tolga Acar, John Michener
CACM | August 2002, Vol 45: pp. 112-146
-
High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems
December 1997
Fast software exponentiation in GF(2k)
C.K. Koc, Tolga Acar
1997 Symposium on Computer Arithmetic | March 1997
Multiscale Edge Integration by Weighted Accumulation
Tolga Acar, Muhittin Gokmen
International Symposium on Computer and Information Sciences | September 1994
Editor(s): Aggelos K. Katsaggelos
ISCIS X
Image coding using weak membrane model of images
Tolga Acar, Muhittin Gokmen
Proc. Vis. Comm. and Image Processing | January 1994
Accumulators and U-Prove Revocation
Lan Nguyen, Tolga Acar
Financial Cryptography'13 | April 2013
Affine Pairings on ARM
Kristin Lauter, Tolga Acar, Michael Naehrig, Daniel Shumow, Dan Shumow
Lecture Notes in Computer Science 7708, Pairing-based Cryptography -- Pairing 2012 | January 2013
Affine Pairings on ARM
Tolga Acar, Kristin Lauter, Michael Naehrig, Dan Shumow
Pairing 2012 | May 2012
See http://research.microsoft.com/apps/pubs/default.aspx?id=149608 for an e-print version.
Homomorphic Proofs and Applications
Tolga Acar, Lan Nguyen
Public Key Cryptography (PKC 2011) | March 2011
Public Key Cryptography (PKC 2011)
Cryptographic Agility and its Relation to Circular Encryption
Tolga Acar, Mira Belenkiy, Mihir Bellare, David Cash
EUROCRYPT 2010 | May 2010
-
Modular Reduction without Pre-computation for Special Moduli
January 2010 | (in preparation) edition edition
(in preparation)
-
High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems
June 1998
PhD Thesis: Oregon State University | June 1998
-
Nonstandard Regularization for Selected Image Processing and Computer Vision Problems
September 1994
Master's Thesis: Istanbul Technical University | September 1994