Result 1 to 20 of 48 total
Applications of formal methods to web application security (English)
Encyclopedia of Cryptography and Security (2nd Ed.), 45-46 (2011).
1
Web browser security and privacy (English)
Encyclopedia of Cryptography and Security (2nd Ed.), 1372-1373 (2011).
2
WAPTEC: whitebox analysis of web applications for parameter tampering exploit construction (English)
ACM Conference on Computer and Communications Security, 575-586 (2011).
3
Strengthening XSRF defenses for legacy web applications using whitebox analysis and transformation. (English)
Jha, Somesh (ed.) et al., Information systems security. 6th international conference, ICISS 2010, Gandhinagar, India, December 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17713-2/pbk). Lecture Notes in Computer Science 6503, 96-110 (2010).
4
WebAppArmor: a framework for robust prevention of attacks on web applications (invited paper). (English)
Jha, Somesh (ed.) et al., Information systems security. 6th international conference, ICISS 2010, Gandhinagar, India, December 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17713-2/pbk). Lecture Notes in Computer Science 6503, 3-26 (2010).
5
Automatically preparing safe SQL queries. (English)
Sion, Radu (ed.), Financial cryptography and data security. 14th international conference, FC 2010, Tenerife, Canary Islands, January 25‒28, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14576-6/pbk). Lecture Notes in Computer Science 6052, 272-288 (2010).
6
CANDID: dynamic candidate evaluations for automatic prevention of SQL injection attacks. (English)
ACM Trans. Inf. Syst. Secur. 13, No. 2 (2010).
7
Automatically preparing safe SQL queries (English)
Financial Cryptography, 272-288 (2010).
8
Strengthening XSRF defenses for legacy web applications using whitebox analysis and transformation (English)
ICISS, 96-110 (2010).
9
Webapparmor: A framework for robust prevention of attacks on web applications (Invited paper) (English)
ICISS, 3-26 (2010).
10
Adjail: practical enforcement of confidentiality and integrity policies on web advertisements (English)
USENIX Security Symposium, 371-388 (2010).
11
TAPS: automatically preparing safe SQL queries (English)
ACM Conference on Computer and Communications Security, 645-647 (2010).
12
Notamper: automatic blackbox detection of parameter tampering opportunities in web applications (English)
ACM Conference on Computer and Communications Security, 607-618 (2010).
13
Alcatraz: An isolated environment for experimenting with untrusted software. (English)
ACM Trans. Inf. Syst. Secur. 12, No. 3 (2009).
14
Blueprint: robust prevention of cross-site scripting attacks for existing browsers (English)
IEEE Symposium on Security and Privacy, 331-346 (2009).
15
Enhancing web browser security against malware extensions. (English)
J. Comput. Virol. 4, No. 3, 179-195 (2008).
16
Expanding malware defense by securing software installations. (English)
Zamboni, Diego (ed.), Detection of intrusions and malware, and vulnerability assessment. 5th international conference, DIMVA 2008, Paris, France, July 10‒11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70541-3/pbk). Lecture Notes in Computer Science 5137, 164-185 (2008).
17
XSS-GUARD: Precise dynamic prevention of cross-site scripting attacks. (English)
Zamboni, Diego (ed.), Detection of intrusions and malware, and vulnerability assessment. 5th international conference, DIMVA 2008, Paris, France, July 10‒11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70541-3/pbk). Lecture Notes in Computer Science 5137, 23-43 (2008).
18
Preventing information leaks through shadow executions (English)
ACSAC, 322-331 (2008).
19
Expanding malware defense by securing software installations (English)
DIMVA, 164-185 (2008).
20
Result 1 to 20 of 48 total
Start
Contact
Print
General Help
