All 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 Other
All Journal Article Presentation
Journal of Computer Security
Volume: 28 Pages: 607-634
10.3233/jcs-191356
Computer Software
Volume: 37 Issue: 1 Pages: 1_39-1_52
10.11309/jssst.37.1_39
130007815024
In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF 2019)
Volume: CSF 2019 Pages: 216-229
10.1109/csf.2019.00022
In Proceedings of the 8th International Conference on Principles of Security and Trust (POST 2019), Lecture Notes in Computer Science
Volume: 11426 Pages: 29-50
10.1007/978-3-030-17138-4_2
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), ACM
Volume: 印刷中 Pages: 759-768
10.1145/3209108.3209204
Proceedings of the ACM on Programming Languages
Volume: 2 Pages: 1-29
10.1145/3158100
Proceedings of the 6th International Conference on Principles of Security and Trust (POST 2017)
Volume: 印刷中
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017)
Proceedings of the 6th International Conference on Principles of Security and Trust (POST 2017), Lecture Notes in Computer Science
Volume: 10204 Pages: 277-297
10.1007/978-3-662-54455-6_13
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017), ACM SIGPLAN Notices
Volume: 52(6) Pages: 362-375
10.1145/3062341.3062378
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Volume: 51 (1) Pages: 57-68
10.1145/2837614.2837667
In Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), Lecture Notes in Computer Science
Volume: 9035 Pages: 149-163
10.1007/978-3-662-46681-0_10
In Proceedings of the 24th European Symposium on Programming (ESOP 2015), Lecture Notes in Computer Science
Volume: 9032 Pages: 610-633
10.1007/978-3-662-46669-8_25
Lecture Notes in Computer Science
Volume: 9291 Pages: 128-144
10.1007/978-3-662-48288-9_8
Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014)
Volume: CSL-LICS'14
10.1145/2603088.2603138
Theoretical Computer Science
Volume: - Pages: 167-182
10.1016/j.tcs.2013.07.031
Proceedings of the 23rd European Symposium on Programming (ESOP 2014), Lecture Notes in Computer Science
Volume: 8410 Pages: 392-411
10.1007/978-3-642-54833-8_21
Proceeings of the 11th International Symposium on Functional and Logic Programming (FLOPS 2012), Lecture Notes in Computer Science, Springer
Volume: 7294 Pages: 2-2
10.1007/978-3-642-29822-6_2
ACM SIGPLAN Notices
Volume: 48(1) Pages: 75-86
情報処理学会論文誌 : プログラミング(PRO)
Volume: 6(3)
110009656444
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'13), ACM
Volume: - Pages: 75-86
10.1145/2429069.2429081
120007136948
情報処理学会論文誌プログラミング(PRO)
Volume: 6(3) Pages: 20-32
情報処理学会論文誌(PRO)
Electronic Proceedings in Theoretical Computer Science
Volume: 85 Pages: 77-91
Proceedings of the 10th Workshop on Quantitative Aspects of Programming Language and Systems (QAPL 2012), Electronic Proceedings in Theoretical Computer Science
10.4204/eptcs.85.6
Volume: 19.6 Pages: 1029-1082
Volume: 19 Pages: 1029-1082
10.3233/jcs-2011-0437
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(POPL 2010) 45
Pages: 119-130
In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010)
Volume: ACM Pages: 119-130
Proceedings of the 15^<th> European Symposium on Research in Computer Security (ESORICS 2010)
Volume: 6345 Pages: 357-372
In Proceedings of the 15th European Symposium on Research in Computer Security (ESORICS 2010), Lecture Notes in Computer Science
Volume: 6345, Springer Pages: 357-372
Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010), IEEE Computer Society
Pages: 15-27
Proceedings of the 15th European Symposium on Research in Computer Security (ESORICS 2010) Lecture Notes in Computer Science
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(POPL'10) 45
Proceedings of the 23^<rd> IEEE Computer Security Foundations Symposium (CSF 2010)
In Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010), IEEE Computer Society
Proceedings of the 16th International Static Analysis Symposium(SAS 2009) 5673
Pages: 36-51
In Proceedings of the 16th International Static Analysis Symposium (SAS 2009), Lecture Notes in Computer Science
Volume: 5673, Springer Pages: 36-51
Proceedings of the 16th International Symposium on Static Analysis(SAS'09) 5673
In Proceedings of the 17th European Symposium on Programming (ESOP 2008), Lecture Notes in Computer Science
Volume: 4960, Springer Pages: 284-298
ACM Transactions on Programming Languages and Systems (TOPLAS)
Volume: 30(5)
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation(PLDI 2008)
Pages: 1-10
Proceedings of the 21st IEEE Computer Security Foundations Symposium(CSF 2008)
Pages: 287-300
Proceedings of the 17th European Symposium on Programming(ESOP'08) 4960
Pages: 284-298
Proceedings of the 17th European Symposium on Programming(ESOP'08), Springer Lecture Notes in Computer Science 4960
In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI 2008)
Volume: ACM Pages: 1-10
In Proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF 2008), IEEE Computer Society
Volume: 30(3)
Proceedings of the 17th European Symposium on Programming(ESOP 2008) 4960