Search results for: Trent Jaeger
IEEE Security & Privacy > 2017 > 15 > 4 > 85 - 87
2016 IEEE Cybersecurity Development (SecDev) > 107 - 114
Lecture Notes in Computer Science > Information Systems Security > Languages and Formal Methods > 56-70
2013 IEEE Ninth World Congress on Services > 239 - 246
IEEE Transactions on Computers > 2012 > 61 > 5 > 686 - 699
IEEE Security & Privacy > 2012 > 10 > 6 > 26 - 35
Computers & Security > 2011 > 30 > 8 > 571-579
2006 Securecomm and Workshops > 1 - 9