Omer Tripp
Title
Cited by
Cited by
Year
TAJ: effective taint analysis of web applications
O Tripp, M Pistoia, SJ Fink, M Sridharan, O Weisman
ACM Sigplan Notices 44 (6), 87-97, 2009
3952009
Saving the world wide web from vulnerable JavaScript
S Guarnieri, M Pistoia, O Tripp, J Dolby, S Teilhet, R Berg
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
1492011
Andromeda: Accurate and Scalable Security Analysis of Web Applications
O Tripp, M Pistoia, P Cousot, R Cousot, S Guarnieri
International Conference on Fundamental Approaches to Software Engineering …, 2013
1402013
A bayesian approach to privacy enforcement in smartphones
O Tripp, J Rubin
23rd {USENIX} Security Symposium ({USENIX} Security 14), 175-190, 2014
962014
F4F: taint analysis of framework-based web applications
M Sridharan, S Artzi, M Pistoia, S Guarnieri, O Tripp, R Berg
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
912011
Path-and index-sensitive string analysis based on monadic second-order logic
T Tateishi, M Pistoia, O Tripp
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (4), 1-33, 2013
822013
Dynamic detection of inter-application communication vulnerabilities in Android
R Hay, O Tripp, M Pistoia
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
682015
Aletheia: Improving the usability of static security analysis
O Tripp, S Guarnieri, M Pistoia, A Aravkin
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
572014
Hybrid security analysis of web javascript code via dynamic partial evaluation
O Tripp, P Ferrara, M Pistoia
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
542014
Grail: Context-aware fixing of concurrency bugs
P Liu, O Tripp, C Zhang
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014
522014
Composition for disinfection of plants, animals, humans, byproducts of plants and animals and articles infected with pathogens and method of producing and application of same
R Cook, JW Kennedy
US Patent 7,163,709, 2007
472007
Detecting and localizing security vulnerabilities in client-server application
S Artzi, J Dolby, M Pistoia, F Tip, O Tripp
US Patent 8,516,449, 2013
442013
Learning minimal abstractions
P Liang, O Tripp, M Naik
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
442011
Automated testing of applications with scripting code
S Artzi, J Dolby, SA Guarnieri, SH Jensen, M Pistoia, M Sridharan, F Tip, ...
US Patent 9,135,147, 2015
412015
Optical module and method of manufacturing the same, and optical transmission device
A Murata
US Patent 6,915,049, 2005
412005
Effective search-space pruning for solvers of string equations, regular expressions and length constraints
Y Zheng, V Ganesh, S Subramanian, O Tripp, J Dolby, X Zhang
International Conference on Computer Aided Verification, 235-254, 2015
402015
Belt mounted tool holder
M Musarella, S Hnatowicz
US Patent 7,314,153, 2008
392008
Customizing a security report using static analysis
O Tripp
US Patent 9,727,734, 2017
38*2017
Finding your way in the testing jungle: a learning approach to web security testing
O Tripp, O Weisman, L Guy
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
382013
Detecting persistent vulnerabilities in web applications
Y Amit, O Tripp
US Patent 8,949,994, 2015
332015
The system can't perform the operation now. Try again later.
Articles 1–20