Result 1 to 20 of 51 total
Might financial cryptography kill financial innovation? The curious case of EMV. (English)
Danezis, George (ed.), Financial cryptography and data security. 15th international conference, FC 2011, Gros Islet, St. Lucia, February 28‒March 4, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27575-3/pbk). Lecture Notes in Computer Science 7035, 220-234 (2012).
1
A security policy oracle: detecting security holes using multiple API implementations (English)
PLDI, 343-354 (2011).
2
Leakchaser: helping programmers narrow down causes of memory leaks (English)
PLDI, 270-282 (2011).
3
Robbing the bank with a theorem prover (abstract). (English)
Christianson, Bruce (ed.) et al., Security protocols. 15th international workshop, Brno, Czech Republic, April 18‒20, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17772-9/pbk). Lecture Notes in Computer Science 5964, 171 (2010).
4
On the security of the EMV secure messaging API (extended abstract). (English)
Christianson, Bruce (ed.) et al., Security protocols. 15th international workshop, Brno, Czech Republic, April 18‒20, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17772-9/pbk). Lecture Notes in Computer Science 5964, 147-149 (2010).
5
Modeling partial attacks with Alloy. (English)
Christianson, Bruce (ed.) et al., Security protocols. 15th international workshop, Brno, Czech Republic, April 18‒20, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17772-9/pbk). Lecture Notes in Computer Science 5964, 20-33 (2010).
6
Chip and PIN is broken (English)
IEEE Symposium on Security and Privacy, 433-446 (2010).
7
Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses (English)
PLDI, 13-24 (2010).
8
PACER: proportional detection of data races (English)
PLDI, 255-268 (2010).
9
The man-in-the-middle defence. (English)
Christianson, Bruce (ed.) et al., Security protocols. 14th international workshop, Cambridge, UK, March 27‒29, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-642-04903-3/pbk). Lecture Notes in Computer Science 5087, 153-156 (2009).
10
Phish and chips. (Transcript of discussion). (English)
Christianson, Bruce (ed.) et al., Security protocols. 14th international workshop, Cambridge, UK, March 27‒29, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-642-04903-3/pbk). Lecture Notes in Computer Science 5087, 49-51 (2009).
11
Phish and chips. Traditional and new recipes for attacking EMV. (English)
Christianson, Bruce (ed.) et al., Security protocols. 14th international workshop, Cambridge, UK, March 27‒29, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-642-04903-3/pbk). Lecture Notes in Computer Science 5087, 40-48 (2009).
12
Laminar: practical fine-grained decentralized information flow control (English)
PLDI, 63-74 (2009).
13
The development of a web-based resident sign-out training program (English)
SMC, 2509-2514 (2009).
14
What makes a good game?: using reviews to inform design (English)
BCS HCI, 418-422 (2009).
16
Virtual economies: threats and risks. (English)
Dietrich, Sven (ed.) et al., Financial cryptography and data security. 11th international conference, FC 2007, and 1st international workshop on usable security, USEC 2007, Scarborough, Trinidad and Tobago, February 12‒16, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-77365-8/pbk). Lecture Notes in Computer Science 4886, 239-244 (2008).
17
Leaving room for the bad guys. (English)
Dietrich, Sven (ed.) et al., Financial cryptography and data security. 11th international conference, FC 2007, and 1st international workshop on usable security, USEC 2007, Scarborough, Trinidad and Tobago, February 12‒16, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-77365-8/pbk). Lecture Notes in Computer Science 4886, 1 (2008).
18
Tolerating memory leaks (English)
OOPSLA, 109-126 (2008).
19
Leaving room for the bad guys (English)
Financial Cryptography, 1 (2007).
20
Result 1 to 20 of 51 total
Start
Contact
Print
General Help
