Group: U Combinator - library 15 articles Export

	A semantics-based approach to malware detection [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 377-388. by Mila D. Preda, Mihai Christodorescu, Somesh Jha, Saumya Debray posted to security by mattmight to the group U Combinator on 2009-08-18 06:09:05 as along with 1 person ama08r
	Cyclone: A safe dialect of c [My Copy] (2002) by T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, Y. Wang posted to no-tag by mattmight to the group U Combinator on 2009-08-18 03:03:29 as along with 7 people tautologico MattOConnor bdauvergne robennals krisn11 _Anne_ srccheck
	Intrusion Detection via Static Analysis [My Copy] In SP '01: Proceedings of the 2001 IEEE Symposium on Security and Privacy (2001) by David Wagner, Drew Dean posted to back-door by chikin to the group U Combinator on 2009-08-17 19:56:51 as along with 1 person praveenbala
	On the value of static analysis for fault detection in software [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 32, No. 4. (08 May 2006), pp. 240-253. by J. Zheng, L. Williams, N. Nagappan, W. Snipes, J. P. Hudepohl, M. A. Vouk posted to back-door by chikin to the group U Combinator on 2009-08-17 19:44:42 as along with 2 people and 1 group foyzur dhein1030 Software Quality
	Human factors in software security risk management [My Copy] In LMSA '08: Proceedings of the first international workshop on Leadership and management in software architecture (2008), pp. 13-16. by Shareeful Islam, Wei Dong posted to back-door by chikin to the group U Combinator on 2009-08-17 19:43:52 as along with 1 person and 1 group bleadof Secure programming
	Software security and SOA: danger, Will Robinson! [My Copy] Security & Privacy Magazine, IEEE, Vol. 4, No. 1. (2006), pp. 80-83. by J. Epstein, S. Matsumoto, G. Mcgraw posted to back-door by chikin to the group U Combinator on 2009-08-17 19:43:25 as along with 2 people knowlengr emiliorp
	Testing for security during development: why we should scrap penetrate-and-patch [My Copy] Computer Assurance, 1997. COMPASS '97. 'Are We Making Progress Towards Computer Assurance?'. Proceedings of the 12th Annual Conference on In Computer Assurance, 1997. COMPASS '97. 'Are We Making Progress Towards Computer Assurance?'. Proceedings of the 12th Annual Conference on (1997), pp. 117-119. by G. Mcgraw posted to back-door by chikin to the group U Combinator on 2009-08-17 19:42:53 as along with 2 people network01 bleadof
	Panorama: capturing system-wide information flow for malware detection and analysis [My Copy] In CCS '07: Proceedings of the 14th ACM conference on Computer and communications security (2007), pp. 116-127. by Heng Yin, Dawn Song, Manuel Egele, Christopher Kruegel, Engin Kirda posted to back-door by chikin to the group U Combinator on 2009-08-17 19:39:58 as along with 2 people godmar csong
	Exploring Multiple Execution Paths for Malware Analysis [My Copy] Security and Privacy, IEEE Symposium on In SP '07: IEEE Symposium on Security and Privacy, Vol. 0 (2007), pp. 231-245. by Andreas Moser, Christopher Kruegel, Engin Kirda posted to back-door by chikin to the group U Combinator on 2009-08-17 19:36:38 as along with 1 person csong
	Semantics-Aware Malware Detection [My Copy] In SP '05: Proceedings of the 2005 IEEE Symposium on Security and Privacy (2005), pp. 32-46. by Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Song, Randal E. Bryant posted to back-door by chikin to the group U Combinator on 2009-08-17 19:35:24 as along with 2 people and 1 group mercutio rdyer Laboratory for Software Design
	Limits of Static Analysis for Malware Detection [My Copy] Computer Security Applications Conference, 2007. ACSAC 2007. Twenty-Third Annual In Computer Security Applications Conference, 2007. ACSAC 2007. Twenty-Third Annual (2007), pp. 421-430. by A. Moser, C. Kruegel, E. Kirda posted to back-door by chikin to the group U Combinator on 2009-08-17 19:34:21 as along with 1 person dhein1030
	A Research Group for Static Analysis [My Copy] edited by Matthew Might posted to ucombinator by mattmight to the group U Combinator on 2009-08-17 02:04:02 as
	Verification of java programs using symbolic execution and invariant generation [My Copy] In Proceedings of the 11th International SPIN Workshop on Model Checking of Software, Vol. 2989 (2004) by C. Pasareanu, W. Visser posted to execution symbolic by chikin to the group U Combinator on 2009-06-24 03:35:10 as along with 2 people scis0000001 citeilike
	Symbolic execution and program testing [My Copy] Commun. ACM, Vol. 19, No. 7. (July 1976), pp. 385-394. by James C. King posted to symbolic-execution by mattmight to the group U Combinator on 2009-06-17 22:47:33 as along with 7 people dimvar qdw1987 srccheck newdawn mercutio gchpaco bfraser
	Environment Analysis of Higher-Order Languages [My Copy] (7 June 2007) by Matthew Might posted to abstract-counting abstract-garbage-collection abstract-interpretation control-flow-analysis delta-cfa environment-analysis frame-strings gamma-cfa matthew-might-dissertation super-beta by mattmight to the group U Combinator on 2009-06-14 23:36:55 as

Note: You may cite this page as: http://www.citeulike.org/group/10854

Group Tags

All tags in the group U Combinator

Filter:

Privacy Statement | Terms & Conditions