Sciweavers

65 search results - page 2 / 13
» logcom 2006
Sort
View
94
Voted
LOGCOM
2002
78views more  LOGCOM 2002»
15 years 2 months ago
Codes and Ciphers: Julius Caesar, The Enigma, and the Internet
Richard E. Overill
LOGCOM
2002
72views more  LOGCOM 2002»
15 years 2 months ago
Foundations of Cryptography: Basic Tools
Richard E. Overill
LOGCOM
1998
64views more  LOGCOM 1998»
15 years 2 months ago
A Relevant Analysis of Natural Deduction
Samin S. Ishtiaq, David J. Pym
LOGCOM
2010
75views more  LOGCOM 2010»
15 years 1 months ago
A Proof System for Abstract Non-interference
Roberto Giacobazzi, Isabella Mastroeni