information and computation (6)
acm computing surveys (4)
workshop on formal methods in security engineering (4)
ieee network (3)
ieee security & privacy (3)
ieee software (3)
ieee transactions on software engineering (3)
journal of biomedical informatics (3)
journal of computer security (3)
journal of the acm (3)
learning health systems (3)
proceedings of the 5th acm conference on bioinformatics, computational biology & health informatics (3)
2009 ieee international symposium on policies for distributed systems and networks, policies for distributed systems and networks, 2009. policy 2009. ieee international symposium on (2)
acm / sigplan notices (2)
acm international conference proceeding series (2)
artificial intelligence (2)
computer (2)
computer (00189162) (2)
electronic notes in theoretical computer science (2)
entcs: electronic notes in theoretical computer science (2)
ieee journal of selected topics in signal processing (2)
ieee journal on selected areas in communications (2)
ieee pervasive computing (2)
ieee transactions on mobile computing (2)
ieee transactions on smart grid (2)
journal of functional programming (2)
journal of pure and applied algebra (2)
proceedings of the 1992 acm conference: lisp & functional programming (2)
proceedings of the 2000 acm sigsoft international symposium: software testing & analysis (2)
proceedings of the 4th acm sigsoft symposium: foundations of software engineering (2)
proceedings of the fourth acm workshop: formal methods in security (2)
proceedings of the seventh international conference: functional programming languages & computer architecture (2)
software: practice and experience (2)
theoretical computer science (2)
2006 ieee international conference on systems, man and cybernetics, systems, man and cybernetics, 2006. smc '06. ieee international conference on (1)
2007 ieee symposium on security and privacy (sp '07), security and privacy, 2007. sp '07. ieee symposium on (1)
2007 joint workshop on high confidence medical devices, software, and systems and medical device plug-and-play interoperability (hcmdss-mdpnp 2007), high confidence medical devices, software, and systems and medical device plug-and-play interoperability, 2007. hcmdss-mdpnp. joint workshop on (1)
2009 ieee international conference on systems, man and cybernetics, systems, man and cybernetics, 2009. smc 2009. ieee international conference on (1)
2010 3rd international symposium on resilient control systems, resilient control systems (isrcs), 2010 3rd international symposium on (1)
2010 first ieee international conference on smart grid communications, smart grid communications (smartgridcomm), 2010 first ieee international conference on (1)
2010 ieee symposium on new frontiers in dynamic spectrum (dyspan), new frontiers in dynamic spectrum, 2010 ieee symposium on (1)
2014 ieee symposium on security and privacy, security and privacy (sp), 2014 ieee symposium on (1)
2020 ieee european symposium on security and privacy (euros&p), security and privacy (euros&p), 2020 ieee european symposium on, eurosp (1)
2021 ieee symposium on security and privacy (sp), security and privacy (sp), 2021 ieee symposium on, sp (1)
2023 ieee conference on secure and trustworthy machine learning (satml), secure and trustworthy machine learning (satml), 2023 ieee conference on, satml (1)
formal methods in system design (1)
formal methods in system design: an international journal (1)
service oriented computing and applications (1)
southern california law review postscript (1)
the journal of symbolic logic (1)