lecture notes in computer science (36)
electronic notes in theoretical computer science (14)
proceedings of the computer security foundations workshop (11)
journal of computer security (9)
proceedings - ieee computer security foundations symposium (7)
ceur workshop proceedings (6)
future generation computer systems (4)
proceedings of the acm conference on computer and communications security (3)
theoretical computer science (3)
computer languages (2)
computer languages, systems and structures (2)
entcs: electronic notes in theoretical computer science (2)
foundations of security analysis and design - tutorial lectures (2)
ifip advances in information and communication technology (2)
proceedings of the 12th ieee computer security foundations workshop (2)
proceedings of the 12th ieee computer security foundations workshop, computer security foundations workshop, 1999. proceedings of the 12th ieee, computer security (2)
science of computer programming (2)
18th ieee computer security foundations workshop (csfw'05) (1)
18th ieee computer security foundations workshop (csfw'05), computer security foundations, 2005. csfw-18 2005. 18th ieee workshop, computer security foundations workshop (1)
2014 ieee 27th computer security foundations symposium (1)
2014 ieee 27th computer security foundations symposium, computer security foundations symposium (csf), 2014 ieee 27th (1)
25th annual network and distributed system security symposium, ndss 2018 (1)
acm computing surveys (1)
acm international conference proceeding series (1)
acm transactions on software engineering and methodology (1)
algebraic methodology and software technology - 8th international conference, amast 2000, proceedings (1)
automata, languages and programming - 27th international colloquium, icalp 2000, proceedings (1)
automated reasoning for security protocol analysis and issues in the theory of security - joint workshop, arspa-wits 2010, revised selected papers (1)
computer and network security essentials (1)
computer security - esorics 2009 - 14th european symposium on research in computer security, proceedings (1)
computer security - esorics 2022 - 27th european symposium on research in computer security, proceedings (1)
cryptology and information security series (1)
discrete applied mathematics (1)
engineering secure software and systems - 6th international symposium, essos 2014, proceedings (1)
first international conference onsoftware engineering and formal methods, 2003.proceedings., software engineering and formal methods, 2003.proceedings. first international conference on, software engineering and formal methods (1)
fm 1999 - formal methods - world congress on formal methods in the development of computing systems, proceedings (1)
ieee journal on selected areas in communications, selected areas in communications, ieee journal on, ieee j. select. areas commun. (1)
ieee security & privacy, security & privacy, ieee, ieee secur. privacy (1)
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng. (1)
proceedings 13th ieee computer security foundations workshop. csfw-13 (1)
proceedings 13th ieee computer security foundations workshop. csfw-13, computer security foundations workshop, 2000. csfw-13. proceedings. 13th ieee, computer security foundations (1)
proceedings 15th ieee computer security foundations workshop. csfw-15 (1)
proceedings 15th ieee computer security foundations workshop. csfw-15, computer security foundations workshop, 2002. proceedings. 15th ieee, computer security foundations workshop (1)
proceedings 9th ieee computer security foundations workshop (1)
proceedings 9th ieee computer security foundations workshop, computer security foundations workshop, 1996. proceedings., 9th ieee, computer security (1)
proceedings of the first international conference on software engineering & formal methods, 2003 (1)
proceedings the computer security foundations workshop vii (1)
proceedings the computer security foundations workshop vii, computer security foundations workshop vii, 1994. csfw 7. proceedings, computer security foundations (1)
proceedings the eighth ieee computer security foundations workshop (1)
proceedings the eighth ieee computer security foundations workshop, computer security foundations workshop, 1995. proceedings., eighth ieee, computer security (1)