information and computation (6)
journal of computer security (6)
theoretical computer science (4)
acm computing surveys (3)
international journal on software tools for technology transfer (3)
journal of cryptographic engineering (3)
computer networks (2)
electronic notes in theoretical computer science (2)
entcs: electronic notes in theoretical computer science (2)
ieee transactions on network & service management (2)
information processing letters (2)
journal of logic & computation (2)
journal of logic and algebraic programming (2)
journal of logic and computation (2)
mathematical structures in computer science (2)
rairo - theoretical informatics and applications (2)
security protocols (9783540283898) (2)
2007 10th ifip/ieee international symposium on integrated network management, integrated network management, 2007. im '07. 10th ifip/ieee international symposium on (1)
2009 ifip/ieee international symposium on integrated network management, integrated network management, 2009. im '09. ifip/ieee international symposium on (1)
2010 future network & mobile summit, future network and mobile summit, 2010 (1)
2012 ieee 25th computer security foundations symposium (1)
2012 ieee 25th computer security foundations symposium, computer security foundations symposium (csf), 2012 ieee 25th (1)
2014 22nd euromicro international conference on parallel, distributed & network-based processing (1)
2014 22nd euromicro international conference on parallel, distributed, and network-based processing, parallel, distributed and network-based processing (pdp), 2014 22nd euromicro international conference on (1)
2016 ieee symposium on security and privacy (sp), security and privacy (sp), 2016 ieee symposium on (1)
2021 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2021 formal methods in (1)
2021 ieee 34th computer security foundations symposium (csf), computer security foundations symposium (csf), 2021 ieee 34th, csf (1)
2022 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2022 (1)
2023 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2023 (1)
22nd annual ieee symposium on logic in computer science (lics 2007), logic in computer science, 2007. lics 2007. 22nd annual ieee symposium on (1)
acm / sigplan notices (1)
ambient networks (1)
automated deduction - cade-15 (1)
automated technology for verification & analysis (9783642047602) (1)
caap '92 (rennes, 1992) (1)
certified programs & proofs: third international conference, cpp 2013, melbourne, vic, australia, december 11-13, 2013, proceedings (1)
compositionality: the significant difference (bad malente, 1997) (1)
computer security - esorics 2015: 20th european symposium on research in computer security, vienna, austria, september 21-25, 2015, proceedings, part i (1)
concur '93 (hildesheim, 1993) (1)
concur'98 concurrency theory (1)
concur'98: concurrency theory (nice) (1)
conference record of the 33rd acm sigplan-sihact symposium: principles of programming languages (1)
ecoop 2009 - object-oriented programming (1)
fm 2008: formal methods (1)
foundations of software science and computation structures (1)
foundations of software technology and theoretical computer science (new delhi, 1992) (1)
hardware & software: verification & testing: 10th international haifa verification conference, hvc 2014, haifa, israel, november 18-20, 2014. proceedings (1)
information security technology for applications (9783642279362) (1)
journal of logic & algebraic programming (1)
service oriented computing and applications (1)