michaelbanks's cryptography [24 articles] Export

Recent papers added to michaelbanks's library classified by the tag cryptography. You can also see everyone's cryptography.

Hide details

	A Computational Introduction to Number Theory and Algebra [My Copy] (06 June 2005) by Victor Shoup posted to theory number-theory mathematics introduction cryptography book algebra 2005 by michaelbanks on 2009-10-18 10:56:23 as along with 4 people Scis0000002 kujan dsquared jrw
	Security and Composition of Multiparty Cryptographic Protocols [My Copy] Journal of Cryptology, Vol. 13, No. 1. (24 September 2000), pp. 143-202. by Ran Canetti posted to security protocol multi-agent cryptography composition 2000 by michaelbanks on 2009-09-16 14:07:16 as
	Universally Composable Security: A New Paradigm for Cryptographic Protocols [My Copy] (22 Dec 2000) by Ran Canetti posted to security protocol framework cryptography composition analysis 2000 by michaelbanks on 2009-09-16 13:57:31 as along with 1 person bjoerntm
	Cipher printing telegraph systems for secret wire and radio telegraphic communications [My Copy] Journal of the American Institute of Elecrical Engineers, Vol. 45 (February 1926), pp. 109-115. by Gilbert S. Vernam posted to one-time-pad cryptography cipher 1926 by michaelbanks on 2009-09-14 18:23:11 as
	Logic Column 10: Specifying Confidentiality [My Copy] (11 Nov 2004) by Riccardo Pucella posted to specification security protocol possible-worlds nondeducibility information-flow cryptography confidentiality 2004 by michaelbanks on 2009-08-27 12:56:01 as
	Security in Computing Systems: Challenges, Approaches and Solutions [My Copy] (2009) by Joachim Biskup posted to 2009 access-control anonymity authentication book cryptography inference-control intrusion-detection protocol security by michaelbanks on 2009-07-22 12:08:10 as
	Differential Power Analysis [My Copy] In Advances in Cryptology -- CRYPTO '99, Vol. 1666 (1999), pp. 388-397. by Paul Kocher, Joshua Jaffe, Benjamin Jun posted to 1999 attack cryptography security side-channel by michaelbanks on 2009-06-10 20:37:50 as along with 1 person tome
	Lest we remember: cold-boot attacks on encryption keys [My Copy] Communications of the ACM, Vol. 52, No. 5. (2009), pp. 91-98. by J. Alex Halderman, Seth D. Schoen, Nadia Heninger, et al.William Clarkson, William Paul, Joseph A. Calandrino, Ariel J. Feldman, Jacob Appelbaum, Edward W. Felten posted to 2009 attack cryptography memory security by michaelbanks on 2009-04-28 11:27:02 as along with 1 person sachingarg
	A Classical Introduction to Cryptography Exercise Book [My Copy] In A Classical Introduction to Cryptography Exercise Book (2006) by Thomas Baignères, Pascal Junod, Yi Lu, Jean Monnerat, Serge Vaudenay posted to 2006 book cryptography exercises introduction textbook by michaelbanks on 2009-03-27 13:06:32 as
	Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos [My Copy] Computer Security – ESORICS 2006 In Computer Security – ESORICS 2006, Vol. 4189 (2006), pp. 362-383. by M. Backes, I. Cervesato, A. Jaggard, A. Scedrov, J. Tsay posted to 2006 bpw cryptography dolev-yao kerberos proof security by michaelbanks on 2009-02-09 11:06:09 as
	Cryptographic Pattern Matching [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 168 (08 February 2007), pp. 91-107. by Christoffer R. Nielsen, Flemming Nielson, Hanne R. Nielson posted to 2007 cryptography language lysa pattern-matching process-algebra semantics spi-calculus by michaelbanks on 2009-01-16 15:31:50 as
	Cryptography and Data Security [My Copy] (1982) by Dorothy E. Denning posted to 1982 book cryptography security textbook by michaelbanks on 2008-12-28 18:11:37 as
	A Calculus for Cryptographic Protocols: The Spi Calculus [My Copy] Information and Computation, Vol. 148, No. 1. (10 January 1999), pp. 1-70. by Martín Abadi, Andrew D. Gordon posted to 1999 authentication cryptography pi-calculus property protocol security spi-calculus by michaelbanks on 2008-12-08 16:09:47 as along with 1 person ChristophPacher
	On Message Integrity in Cryptographic Protocols [My Copy] Proceedings of the 1992 IEEE Symposium on Security and Privacy In Proceedings of the 1992 IEEE Symposium on Security and Privacy (1992), pp. 85-104. by Stuart G. Stubblebine, Vergil D. Gligor posted to 1992 attack cryptography cut-and-paste protocol security by michaelbanks on 2008-12-05 14:07:38 as
	The Dining Cryptographers Problem: Unconditional Sender and Recipient Untraceability [My Copy] Journal of Cryptology, Vol. 1, No. 1. (1 January 1988), pp. 65-75. by David Chaum posted to anonymity cryptography dining-cryptographers key protocol public by michaelbanks on 2008-11-27 11:09:21 as
	Untraceable Electronic Mail, Return Addresses, and Digital Pseudonyms [My Copy] Communications of the ACM, Vol. 24, No. 2. (February 1981), pp. 84-90. by David L. Chaum posted to 1981 anonymity cryptography email key mix privacy public security voting by michaelbanks on 2008-11-07 11:53:53 as along with 4 people DrPoldo alexloh80 pcamacho p2p-sec
	Capacity of Steganographic Channels [My Copy] (22 Oct 2008) by Jeremiah J. Harmsen, William A. Pearlman posted to 2008 capacity channels cryptography information steganography theory by michaelbanks on 2008-11-04 15:41:21 as
	Applied Cryptography: Protocols, Algorithms, and Source Code in C [My Copy] (1996) by Bruce Schneier posted to 1996 book cryptography textbook by michaelbanks on 2008-10-29 17:50:24 as
	A Method for Obtaining Digital Signatures and Public-Key Cryptosystems [My Copy] Communications of the ACM, Vol. 21, No. 2. (February 1978), pp. 120-126. by Ronald L. Rivest, Adi Shamir, Leonard M. Adleman posted to 1978 cryptography key public rsa by michaelbanks on 2008-10-29 17:50:23 as
	Cryptography: A Very Short Introduction [My Copy] (2002) by Fred Piper, Sean Murphy posted to 2002 book cryptography introduction by michaelbanks on 2008-10-29 17:50:23 as
	Handbook of Applied Cryptography [My Copy] (October 1996) by Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone posted to 1996 book cryptography textbook by michaelbanks on 2008-10-29 17:50:22 as
	Metaheuristic Search as a Cryptological Tool [My Copy] No. YCST-2002-07. (December 2001) by John A. Clark posted to 2001 attack cryptography heuristic optimisation search genetic-algorithm simulated-annealing by michaelbanks on 2008-10-29 17:50:18 as
	On the Security of Recent Protocols [My Copy] Information Processing Letters, Vol. 56, No. 3. (1995), pp. 151-155. by John A. Clark, Jeremy L. Jacob posted to cipher-block-chaining 1995 attack cryptography neuman-stubblebine protocol security type-flaw by michaelbanks on 2008-10-29 17:50:17 as
	Protocols for Authentication and Key Establishment [My Copy] (2003) by Colin A. Boyd, Anish Mathuria posted to 2003 authentication book cryptography key survey protocol key-establishment by michaelbanks on 2008-10-29 17:50:17 as

Note: You may cite this page as: http://www.citeulike.org/user/michaelbanks/tag/cryptography

security	352
protocol	146
book	99
refinement	95
information-flow	91
specification	88
formal-methods	86
verification	79
2008	75
model	65
2006	64
proof	59
2009	59
property	58
attack	58
analysis	51
csp	51
noninterference	50
2007	49
formal	48
2005	48
language	45
logic	45
system	44
survey	42
2003	41
semantics	39
1996	38
z	37
confidentiality	36
software	35
textbook	35
programming	34
type-flaw	33
process-algebra	33
composition	32
2001	31
program	31
policy	30
framework	30
1995	29
model-checking	29
theory	29
tool	28
introduction	27
authentication	27
2000	27
automatic	26
1990	26
software-engineering	26
2002	26
1994	25
mathematics	25
1997	24
cryptography	24
2004	24
1992	23
1999	23
1998	22
concurrency	21
probabilistic	19
trace	19
bell-lapadula	18
access-control	18
development	18
safety	18
1987	18
distributed	17
1993	17
theorem-proving	17
commercial	16
circus	16
unwinding	16
needham-schroeder	15
algebraic	15
possibilistic	15
refinement-calculus	14
utp	14
criticism	14
design	14
information	13
liveness	13
integrity	13
key	13
testing	13
alloy	12
1989	12
data	12
1988	12
hacking	12
search	12
ban	11
java	11
fdr	11
nondeterministic	11
engineering	11
preserving	11
bisimulation	11
multi-level	11
case-study	11
maks	11
requirements	11
1991	10
ccs	10
haskell	10
event-b	10
yahalom	10
synthesis	10
correctness	10
nondeducibility	9
public	9
availability	9
anonymity	9
channels	9
category-theory	9
hoare-logic	9
type-system	9
strand-space	9
reasoning	9
1981	9
comparison	8
1985	8
knowledge	8
spi-calculus	8
heuristic	8
verified-software-repository	8
b-method	8
opinion	8
dolev-yao	8
simulation	8
privacy	8
operational	8
constraint-solving	8
belief	8
temporal	8
functional-programming	7
1984	7
1978	7
kernel	7
guidance	7
1977	7
compiler	7
static-analysis	7
tagging	7
neuman-stubblebine	7
1986	7
separability	7
automata	7
covert	7
replay	6
communication	6
tutorial	6
transformation	6
action	6
roundtable	6
operating-system	6
executable	6
history	6
type-checking	6
denotational	6
rodin	6
object-z	6
key-establishment	5
isabelle	5
philosophy	5
uml	5
grand-challenge	5
pi-calculus	5
abstraction	5
decidability	5
stepwise	5
generalised	5
optimisation	5
1976	5
1983	5
lattice	5
standard	5
predicate-transformer	5
file-system	5
control-flow	5
paradox	5
noninference	5
mondex	5
role-based-access-control	5
svo	5
otway-rees	5
multi-agent	5
jif	5
derivation	5
management	5
precondition	5
expressiveness	5
transitive	5
coq	5
structure	5
game-theory	4
guarded	4
gdoi	4
reliability	4
economics	4
implementation	4
stairs	4
labelled-transition-system	4
spa	4
quantitative	4
1972	4
validation	4
cipher-block-chaining	4
resource-allocation	4
review	4
weakest	4
distribution	4
time	4
vdm	4
induction	4
1980	4
object-oriented	4
posix	4
selective-interleaving	4
1982	4
biba	4
confinement	4
tla	4
z-eves	4
deterministic	4
state-machine	4
definition	4
architecture	4
axiomatic	4
model-driven	4
casper	4
failures	4
general	4
hol	4
network	4
equivalence	4
web-services	4
social-processes	3
reconfigurable	3
principles	3
unifying	3
window	3
certification	3
password	3
flaw	3
computer	3
decomposition	3
denial-of-service	3
methods	3
event	3
relational	3
abstract-interpretation	3
advocacy	3
accountability	3
artificial-intelligence	3
kerberos	3
1969	3
genetic-algorithm	3
larch	3
command	3
flow	3
raise	3
risk	3
declassification	3
linking	3
no-silver-bullet	3
divergences	3
rewrite	3
inference-control	3
capacity	3
trust	3
set-theory	3
voting	3
predicate-calculus	3
godel	3
lysa	3
simulated-annealing	3
1979	3
chinese-wall	3
usability	3
athena	3
mechanised	3
galois-connection	3
predicate	3
ada	3
1975	3
recursion	3
internet	3
chaos-report	3
ponder	3
perfect	3
hru	2
functionality	2
emergence	2
extraction	2
pattern-matching	2
csp-oz	2
mandatory-access-control	2
reference	2
sat-solver	2
finalisation	2
discretionary-access-control	2
diagram	2
database	2
practical	2
assurance	2
pointers	2
animation	2
storage	2
nonce	2
retrieve-relation	2
mix	2
safety-critical	2
scyther	2
records	2
lambda-calculus	2
quantification	2
dynamic	2
kao-chow	2
shadow-semantics	2
prolog	2
obligation	2
1971	2
1973	2
multics	2
restrictiveness	2
indistinguishability-classes	2
2010	2
hardware	2
complexity	2
topology	2
swift	2
natural	2
separation	2
s3a	2
evaluation	2
system-z	2
representation	2
adaptation	2
dining-cryptographers	2
possible-worlds	2
eiffel	2
timestamp	2
real-time	2
separation-logic	2
mobile	2
relation	2
non-functional	2
virus	2
spore-library	2
focus	2
avispa	2
hypervisor	2
closure	2
xen-hypervisor	2
research	2
andrew-secure-rpc	2
incident-insensitive	2
floating-point	2
translation	2
spi2java	2
parser	2
xenon	2
spark	2
indistinguishable	2
guidelines	2
ckt5	2
state-based	2
computability	2
ibm-cics	2
writing	2
woo-lam	2
theorem	2
clark-wilson	2
sequential	2
limitations	2
ignorance	2
genetic-programming	2
efficient	2
memory	2
turing-award	2
guessing	2
contract	2
teaching	2
dictionary	2
hyperproperty	2
project	2
algorithm	2
separation-of-duty	2
1974	2
statistics	2
authenticity	2
capsl	2
operators	2
fm	2
algorithms	2
tokeneer	2
grid-computing	1
game	1
nonfunctional	1
eigen	1
timing-channels	1
may	1
environment	1
weak	1
refusals	1
monte-carlo	1
common-criteria	1
visual	1
interation	1
cut-and-paste	1
collaborative	1
decoding	1
invariant	1
high-assurance	1
finger-tree	1
art	1
anonymization	1
monitor	1
publishing	1
problem-frame	1
vulnerabilities	1
1967	1
ordering	1
virtual	1
petri-nets	1
lecture-notes	1
botnets	1
domain	1
conflict-of-interest	1
ucon	1
bpp	1
email	1
1948	1
modal	1
side-channel	1
one-time-pad	1
draft	1
praxis	1
continuous	1
secure-electronic-transaction	1
monads	1
music	1
psychology	1
declarative	1
aegis	1
term	1
deadlock	1
crime	1
digital-restrictions	1
mu-calculus	1
wireless-sensor	1
spin	1
jcsp	1
punishment	1
isomorphism	1
apg	1
usage	1
strategy	1
variables	1
lazy	1
execution	1
classes	1
paraconsistent	1
incompleteness	1
guru	1
human-factors	1
eclipse	1
exercises	1
computer-science	1
probe	1
deterrent	1
interface	1
retrospective	1
transputer	1
scam	1
agent	1
cscw	1
maude	1
perfect-security-property	1
parsing-ambiguity	1
tls	1
similarity	1
lecture	1
xor	1
library	1
intel	1
control-law	1
zero-knowledge	1
hazop	1
signing	1
talk	1
algebra	1
procedure	1
segregation	1
sharing	1
smart-card	1
schema	1
doxastic	1
choice	1

michaelbanks's cryptography [24 articles] Export

michaelbanks's tags