Follow
Saumya Debray
Saumya Debray
Professor of Computer Science, University of Arizona
Verified email at cs.arizona.edu - Homepage
Title
Cited by
Cited by
Year
Obfuscation of executable code to improve resistance to static disassembly
C Linn, S Debray
Proceedings of the 10th ACM conference on Computer and communications …, 2003
9932003
Reasoning about naming systems
M Bowman, SK Debray, LL Peterson
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (5), 795-825, 1993
5861993
Compiler techniques for code compaction
SK Debray, W Evans, R Muth, B De Sutter
ACM Transactions on Programming languages and Systems (TOPLAS) 22 (2), 378-415, 2000
404*2000
Disassembly of executable code revisited
B Schwarz, S Debray, G Andrews
Ninth Working Conference on Reverse Engineering, 2002. Proceedings., 45-54, 2002
3882002
A semantics-based approach to malware detection
MD Preda, M Christodorescu, S Jha, S Debray
ACM SIGPLAN Notices 42 (1), 377-388, 2007
3442007
Automatic mode inference for logic programs
SK Debray, DS Warren
The Journal of Logic Programming 5 (3), 207-229, 1988
3021988
Deobfuscation: Reverse engineering obfuscated code
SK Udupa, SK Debray, M Madou
12th Working Conference on Reverse Engineering (WCRE'05), 10 pp.-54, 2005
2942005
A Generic Approach to Automatic Deobfuscation of Executable Code
B Yadegari, B Johannesmeyer, B Whitely, S Debray
IEEE Symposium on Security and Privacy 36, 2015
2572015
Cost analysis of logic programs
SK Debray, NW Lin
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (5), 826-875, 1993
2421993
Dynamic path-based software watermarking
C Collberg, E Carter, S Debray, A Huntwork, J Kececioglu, C Linn, ...
Proceedings of the ACM SIGPLAN 2004 conference on Programming language …, 2004
2282004
Task granularity analysis in logic programs
SK Debray, NW Lin, M Hermnegildo
ACM SIGPLAN Notices 25 (6), 174-188, 1990
2201990
Static inference of modes and data dependencies in logic programs
SK Debray
ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (3), 418-450, 1989
2111989
alto: a link‐time optimizer for the Compaq Alpha
R Muth, SK Debray, S Watterson, K De Bosschere
Software: Practice and Experience 31 (1), 67-101, 2001
2052001
Binary Obfuscation Using Signals.
IV Popov, SK Debray, GR Andrews
USENIX Security Symposium, 275-290, 2007
1922007
Deobfuscation of virtualization-obfuscated software: a semantics-based approach
K Coogan, G Lu, S Debray
Proceedings of the 18th ACM conference on Computer and communications …, 2011
1902011
Alias analysis of executable code
S Debray, R Muth, M Weippert
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
1791998
On the practicality of global flow analysis of logic programs
R Warren, MV Hermenegildo
MIT Press, 1988
1771988
Global flow analysis as a practical compilation tool
MV Hermenegildo, R Warren, SK Debray
The Journal of Logic Programming 13 (4), 349-366, 1992
1681992
Plto: A link-time optimizer for the Intel IA-32 architecture
B Schwarz, S Debray, G Andrews, M Legendre
Proc. 2001 Workshop on Binary Translation (WBT-2001), 2001
1622001
Generalized semantics and abstract interpretation for constraint logic programs
R Giacobazzi, SK Debray, G Levi
The Journal of Logic Programming 25 (3), 191-247, 1995
1531995
The system can't perform the operation now. Try again later.
Articles 1–20