-
1
-
-
38149007757
-
Formal Proof of Provable Security by Game-Playing in a Proof Assistant
-
Springer
-
Affeldt, R., Tanaka, M., Marti, N.: Formal Proof of Provable Security by Game-Playing in a Proof Assistant. Int. Conf. on Provable Security. LNCS, vol. 4784, pp. 151-168. Springer (2007)
-
(2007)
Int. Conf. on Provable Security. LNCS
, vol.4784
, pp. 151-168
-
-
Affeldt, R.1
Tanaka, M.2
Marti, N.3
-
2
-
-
49949094795
-
An Approach to Formal Verification of Arithmetic Functions in Assembly
-
Dec. 2006. LNCS. Springer, Heidelberg
-
Affeldt, R., Marti, N.: An Approach to Formal Verification of Arithmetic Functions in Assembly. Annual Asian Computing Science Conference, Dec. 2006. LNCS, vol. 4435, pp. 346-360. Springer, Heidelberg (2008)
-
(2008)
Annual Asian Computing Science Conference
, vol.4435
, pp. 346-360
-
-
Affeldt, R.1
Marti, N.2
-
3
-
-
58049108667
-
A Formal Language for Cryptographic Pseudocode
-
LNCS. Springer
-
Backes, M., Berg, M., Unruh D.: A Formal Language for Cryptographic Pseudocode. Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning. LNCS, vol. 5330, pp. 353-376. Springer (2008)
-
(2008)
Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning
, vol.5330
, pp. 353-376
-
-
Backes, M.1
Berg, M.2
Unruh, D.3
-
4
-
-
70350323754
-
Formal certification of code-based cryptographic proofs
-
ACM Press
-
Barthe, G., Grégoire, B., Zanella, S.B.: Formal certification of code-based cryptographic proofs. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pp.90-101. ACM Press
-
ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages
, pp. 90-101
-
-
Barthe, G.1
Grégoire, B.2
Zanella, S.B.3
-
5
-
-
38149024828
-
Code-based game-playing proofs and the security of triple encryption
-
Report 2004/331
-
Bellare, M., Rogaway, P.: Code-based game-playing proofs and the security of triple encryption. Cryptology ePrint Archive, Report 2004/331, 2004
-
(2004)
Cryptology ePrint Archive
-
-
Bellare, M.1
Rogaway, P.2
-
6
-
-
0022716288
-
A simple unpredictable pseudo random number generator
-
Society for Industrial and Applied Mathematics
-
Blum, L., Blum, M., Shub, M.: A simple unpredictable pseudo random number generator. SIAM Journal on Computing, 15(2):364-383. Society for Industrial and Applied Mathematics, 1986
-
(1986)
SIAM Journal on Computing
, vol.15
, Issue.2
, pp. 364-383
-
-
Blum, L.1
Blum, M.2
Shub, M.3
-
9
-
-
85042927934
-
MIPS32 4KS Processor Core Family Software User's Manual MIPS Technologies, Inc., 1225 Charleston Road, Mountain View, CA 94043-1353
-
MIPS Technologies. MIPS32 4KS Processor Core Family Software User's Manual MIPS Technologies, Inc., 1225 Charleston Road, Mountain View, CA 94043-1353
-
-
-
-
10
-
-
84966243285
-
Modular multiplication without trial division
-
Montgomery, P.L.: Modular multiplication without trial division. Mathematics of Computation, 44(170):519-521, 1985
-
(1985)
Mathematics of Computation
, vol.44
, Issue.170
, pp. 519-521
-
-
Montgomery, P.L.1
-
11
-
-
84861625732
-
Verification of Machine Code Implementations of Arithmetic Functions for Cryptography
-
Internal Report 364/07, Aug. 2007. Department of Computer Science, University of Kaiserslautern
-
Myreen, M.O., Gordon, M.J.C.: Verification of Machine Code Implementations of Arithmetic Functions for Cryptography. Theorem Proving in Higher Order Logics: Emerging Trends Proceedings. Internal Report 364/07, Aug. 2007. Department of Computer Science, University of Kaiserslautern
-
Theorem Proving in Higher Order Logics: Emerging Trends Proceedings
-
-
Myreen, M.O.1
Gordon, M.J.C.2
-
12
-
-
70350623391
-
Extensible proof-producing compilation
-
Springer
-
Myreen, M.O., Slind, K., Gordon, M.J.C.: Extensible proof-producing compilation. Int. Conf. on Compiler Construction. LNCS, vol. 5501, pp. 2-16. Springer (2009)
-
(2009)
Int. Conf. on Compiler Construction. LNCS
, vol.5501
, pp. 2-16
-
-
Myreen, M.O.1
Slind, K.2
Gordon, M.J.C.3
-
14
-
-
67049117699
-
On formal verification of arithmetic-based cryptographic primitives
-
Dec. 2008. LNCS, vol. 5461. Springer
-
Nowak, D.: On formal verification of arithmetic-based cryptographic primitives. Int. Conf. on Information Security and Cryptology, Dec. 2008. LNCS, vol. 5461, pp. 368-382. Springer (2009)
-
(2009)
Int. Conf. on Information Security and Cryptology
, pp. 368-382
-
-
Nowak, D.1
-
15
-
-
0036051192
-
Separation Logic: A Logic for Shared Mutable Data Structures
-
Invited lecture
-
Reynolds, J.C.: Separation Logic: A Logic for Shared Mutable Data Structures. IEEE Symp. on Logic in Computer Science, pp. 55-74 (2002). Invited lecture
-
(2002)
IEEE Symp. on Logic in Computer Science
, pp. 55-74
-
-
Reynolds, J.C.1
-
16
-
-
33947145531
-
A compositional natural semantics and Hoare logic for lowlevel languages
-
Elsevier
-
Saabas, A., Uustalu, T.: A compositional natural semantics and Hoare logic for lowlevel languages. Theoretical Computer Science 373(3), 273-302. Elsevier (2007)
-
(2007)
Theoretical Computer Science
, vol.373
, Issue.3
, pp. 273-302
-
-
Saabas, A.1
Uustalu, T.2
-
17
-
-
33745142417
-
Sequences of games: a tool for taming complexity in security proofs
-
Report 2004/332
-
Shoup, V.: Sequences of games: a tool for taming complexity in security proofs. Cryptology ePrint Archive, Report 2004/332, 2004
-
(2004)
Cryptology ePrint Archive
-
-
Shoup, V.1
|