ieee security & privacy (8)
journal of computer security (6)
journal of automated reasoning (5)
computer (00189162) (4)
ieee security & privacy, security & privacy, ieee, ieee secur. privacy (4)
ieee transactions on software engineering (4)
journal of high speed networks (4)
2013 46th hawaii international conference on system sciences (3)
2013 46th hawaii international conference on system sciences, system sciences (hicss), 2013 46th hawaii international conference on (3)
computer (3)
2007 ieee international conference on information reuse and integration, information reuse and integration, 2007. iri 2007. ieee international conference on (2)
acm international conference proceeding series (2)
computer networks (2)
computers & security (2)
web intelligence & agent systems (2)
2010 3rd international symposium on resilient control systems, resilient control systems (isrcs), 2010 3rd international symposium on (1)
2010 43rd hawaii international conference on system sciences, system sciences (hicss), 2010 43rd hawaii international conference on (1)
2011 4th international symposium on resilient control systems, resilient control systems (isrcs), 2011 4th international symposium on (1)
2011 ieee symposium on computational intelligence in cyber security (cics), computational intelligence in cyber security (cics), 2011 ieee symposium on (1)
2012 45th hawaii international conference on system sciences (1)
2012 45th hawaii international conference on system sciences, system science (hicss), 2012 45th hawaii international conference on (1)
2012 ieee conference on technologies for homeland security (hst) (1)
2012 ieee conference on technologies for homeland security (hst), homeland security (hst), 2012 ieee conference on technologies for (1)
2013 international conference on social computing (1)
2013 international conference on social computing, social computing (socialcom), 2013 international conference on (1)
2015 48th hawaii international conference on system sciences (1)
2015 48th hawaii international conference on system sciences, system sciences (hicss), 2015 48th hawaii international conference on (1)
2016 49th hawaii international conference on system sciences (hicss) (1)
2016 49th hawaii international conference on system sciences (hicss), system sciences (hicss), 2016 49th hawaii international conference on (1)
2018 13th international conference on malicious and unwanted software (malware), malicious and unwanted software (malware), 2018 13th international conference on (1)
2018 14th international wireless communications & mobile computing conference (iwcmc), wireless communications & mobile computing conference (iwcmc), 2018 14th international (1)
2019 ieee texas power and energy conference (tpec), texas power and energy conference (tpec), 2019 ieee (1)
2023 ieee/acis 21st international conference on software engineering research, management and applications (sera), software engineering research, management and applications (sera), 2023 ieee/acis 21st international conference on (1)
acm sigcse bulletin (1)
acm sigops operating systems review (1)
crossroads: the international acm student magazine (1)
crosstalk: the journal of defense software engineering (1)
cyber security: second international symposium, css 2015, coeur d'alene, id, usa, april 7-8, 2015, revised selected papers (1)
encyclopedia of cryptography and security (1)
higher order logic theorem proving and its applications (1)
higher order logic theorem proving and its applications (leuven, 1992) (1)
international journal of information and computer security (1)
ksii transactions on internet & information systems (1)
ksii transactions on internet and information systems (1)
nasa formal methods (1)
proceedings of the 2001 workshop: new security paradigms (1)
proceedings of the 2002 workshop: new security paradigms (1)
proceedings of the 2005 workshop: new security paradigms (1)
proceedings of the 2006 international conference: privacy, security & trust (1)