Result 1 to 20 of 29 total
Taint-enhanced anomaly detection. (English)
Jajodia, Sushil (ed.) et al., Information systems security. 7th international conference, ICISS 2011, Kolkata, India, December 15‒19, 2011. Procedings. Berlin: Springer (ISBN 978-3-642-25559-5/pbk). Lecture Notes in Computer Science 7093, 160-174 (2011).
1
Taint-enhanced anomaly detection (English)
ICISS, 160-174 (2011).
2
Live and trustworthy forensic analysis of commodity production systems. (English)
Jha, Somesh (ed.) et al., Recent advances in intrusion detection. 13th international symposium, RAID 2010, Ottawa, Ontario, Canada, September 15‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15511-6/pbk). Lecture Notes in Computer Science 6307, 297-316 (2010).
3
Organizing large scale hacking competitions. (English)
Kreibich, Christian (ed.) et al., Detection of intrusions and malware, and vulnerability assessment. 7th international conference, DIMVA 2010, Bonn, Germany, July 8‒9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14214-7/pbk). Lecture Notes in Computer Science 6201, 132-152 (2010).
4
Take a deep breath: A stealthy, resilient and cost-effective botnet using skype. (English)
Kreibich, Christian (ed.) et al., Detection of intrusions and malware, and vulnerability assessment. 7th international conference, DIMVA 2010, Bonn, Germany, July 8‒9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14214-7/pbk). Lecture Notes in Computer Science 6201, 81-100 (2010).
5
SMT-based verification of LTL specifications with integer constraints and its application to runtime checking of service substitutability. (English)
Comput. Res. Repos. 2010, Article No. 1004.2873 (2010).
6
SMT-based verification of LTL specification with integer constraints and its application to runtime checking of service substitutability (English)
SEFM, 244-254 (2010).
7
Organizing large scale hacking competitions (English)
DIMVA, 132-152 (2010).
8
Take a deep breath: A stealthy, resilient and cost-effective botnet using skype (English)
DIMVA, 81-100 (2010).
9
Live and trustworthy forensic analysis of commodity production systems (English)
RAID, 297-316 (2010).
10
A tile-based approach for self-assembling service compositions (English)
ICECCS, 43-52 (2010).
11
Paricheck: an efficient pointer arithmetic checker for C programs (English)
ASIACCS, 145-156 (2010).
12
An automatic approach to enable replacement of conversational services. (English)
Baresi, Luciano (ed.) et al., Service-oriented computing. 7th international joint conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24‒27, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10382-7/pbk). Lecture Notes in Computer Science 5900, 159-174 (2009).
13
An automatic approach to enable replacement of conversational services (English)
ICSOC/ServiceWave, 159-174 (2009).
14
Unweaving the impact of aspect changes in aspectj (English)
FOAL, 13-18 (2009).
15
Your botnet is my botnet: analysis of a botnet takeover (English)
ACM Conference on Computer and Communications Security, 635-647 (2009).
16
A parallel architecture for stateful, high-speed intrusion detection. (English)
Sekar, R. (ed.) et al., Information systems security. 4th international conference, ICISS 2008, Hyderabad, India, December 16‒20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89861-0/pbk). Lecture Notes in Computer Science 5352, 203-220 (2008).
17
Anomalous taint detection. (Extended abstract). (English)
Lippmann, Richard (ed.) et al., Recent advances in intrusion detection. 11th international symposium, RAID 2008, Cambridge, MA, USA, September 15‒17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87402-7/pbk). Lecture Notes in Computer Science 5230, 417-418 (2008).
18
On the limits of information flow techniques for malware analysis and containment. (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, 143-163 (2008).
19
A parallel architecture for stateful, high-speed intrusion detection (English)
ICISS, 203-220 (2008).
20
Result 1 to 20 of 29 total
Start
Contact
Print
General Help
