Result 1 to 20 of 176 total
Authenticated-encryption with padding: A formal security treatment. (English)
Naccache, David (ed.), Cryptography and security: From theory to applications. Essays dedicated to Jean-Jacques Quisquater on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-28367-3/pbk). Lecture Notes in Computer Science 6805, 83-107 (2012).
1
On cipher-dependent related-key attacks in the ideal-cipher model. (English)
Joux, Antoine (ed.), Fast software encryption. 18th international workshop, FSE 2011, Lyngby, Denmark, February 13‒16, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21701-2/pbk). Lecture Notes in Computer Science 6733, 128-145 (2011).
2
On cipher-dependent related-key attacks in the ideal-cipher model (English)
IACR Cryptology ePrint Archive 2011, 213 (2011).
3
Provable security in the real world (English)
IEEE Security & Privacy 9, No. 3, 33-41 (2011).
4
On cipher-dependent related-key attacks in the ideal-cipher model (English)
FSE, 128-145 (2011).
5
Scalable control and monitoring of supercomputer applications using an integrated tool framework (English)
ICPP Workshops, 457-466 (2011).
6
Plaintext-dependent decryption: A formal security treatment of SSH-CTR. (English)
Gilbert, Henri (ed.), Advances in cryptology ‒ EUROCRYPT 2010. 29th annual international conference on the theory and applications of cryptographic techniques, French Riviera, May 30 ‒ June 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13189-9/pbk). Lecture Notes in Computer Science 6110, 345-361 (2010).
7
Plaintext-dependent decryption: A formal security treatment of SSH-CTR (English)
IACR Cryptology ePrint Archive 2010, 95 (2010).
8
Development of a container handling port simulation for demonstrating port related careers (English)
SpringSim, 73 (2010).
9
An interactive game for learning square roots (English)
MSV, 148-152 (2010).
10
Plaintext-dependent decryption: A formal security treatment of SSH-CTR (English)
EUROCRYPT, 345-361 (2010).
11
For successful use of instructional technology in higher education we must (English)
J. Computing in Higher Education 21, No. 1, 1-3 (2009).
12
Plaintext recovery attacks against SSH (English)
IEEE Symposium on Security and Privacy, 16-26 (2009).
13
An integrated approach to improving the parallel application development process (English)
IPDPS, 1-8 (2009).
14
Introducing digital logic and electronics concepts in a game-like environment (English)
SpringSim (2009).
15
Immunising CBC mode against padding oracle attacks: A formal security treatment. (English)
Ostrovsky, Rafail (ed.) et al., Security and cryptography for networks. 6th international conference, SCN 2008, Amalfi, Italy, September 10‒12, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85854-6/pbk). Lecture Notes in Computer Science 5229, 340-357 (2008).
16
A scalable tools communications infrastructure (English)
HPCS, 33-39 (2008).
17
Immunising CBC mode against padding oracle attacks: A formal security treatment (English)
SCN, 340-357 (2008).
18
The design of an electronic self-regulation skill notebook for the development of meta-cognitive strategies and self-assessment in digital game-based learning environments (English)
SpringSim, 797-801 (2008).
19
A multidisciplinary model for M\&S graduate education (English)
SpringSim, 763-769 (2008).
20
Result 1 to 20 of 176 total