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
-
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, 第 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
作者：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) 版本
(in preparation)
-
-
-
Risks in Features vs. Assurance
Tolga Acar, John Michener
CACM | August 2002, 第 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
博士论文：Oregon State University | June 1998
-
Montgomery Multiplication in GF(2 ^k)
Cetin K. Koc, Tolga Acar
Designs, Codes and Cryptography | March 1998, 第 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, 第 16 卷: pp. 26-33
-
-
-
Multiscale Edge Integration by Weighted Accumulation
Tolga Acar, Muhittin Gokmen
International Symposium on Computer and Information Sciences | September 1994
编辑: Aggelos K. Katsaggelos
ISCIS X
-
Nonstandard Regularization for Selected Image Processing and Computer Vision Problems
September 1994
硕士论文：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
-
-
-
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
博士论文：Oregon State University | June 1998
-
Montgomery Multiplication in GF(2 ^k)
Cetin K. Koc, Tolga Acar
Designs, Codes and Cryptography | March 1998, 第 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
作者：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) 版本
(in preparation)
-
Risks in Features vs. Assurance
Tolga Acar, John Michener
CACM | August 2002, 第 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, 第 17 卷(5): pp. 52-58
-
Key Management In Distributed Systems
Tolga Acar, Mira Belenkiy, Carl Ellison, Lan Nguyen
MSR-TR-2010-78 | June 2010
作者：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
博士论文：Oregon State University | June 1998
-
Montgomery Multiplication in GF(2 ^k)
Cetin K. Koc, Tolga Acar
Designs, Codes and Cryptography | March 1998, 第 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, 第 16 卷: pp. 26-33
-
Multiscale Edge Integration by Weighted Accumulation
Tolga Acar, Muhittin Gokmen
International Symposium on Computer and Information Sciences | September 1994
编辑: Aggelos K. Katsaggelos
ISCIS X
-
Nonstandard Regularization for Selected Image Processing and Computer Vision Problems
September 1994
硕士论文：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
-
-
-
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
作者：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, 第 14 卷(1): pp. 57-69
-
Analyzing and Comparing Montgomery Multiplication Algorithms
Tolga Acar, Burt Kaliski, Cetin K. Koc
IEEE Micro | January 1996, 第 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, 第 17 卷(5): pp. 52-58
-
Risks in Features vs. Assurance
Tolga Acar, John Michener
CACM | August 2002, 第 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
编辑: 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) 版本
(in preparation)
-
-
-
High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems
June 1998
博士论文：Oregon State University | June 1998
-
-
-
Nonstandard Regularization for Selected Image Processing and Computer Vision Problems
September 1994
硕士论文：Istanbul Technical University | September 1994
-