متابعة
Omer Tripp
Omer Tripp
Amazon
بريد إلكتروني تم التحقق منه على google.com
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
5392009
Andromeda: Accurate and Scalable Security Analysis of Web Applications‏
O Tripp, M Pistoia, P Cousot, R Cousot, S Guarnieri‏
Fundamental Approaches to Software Engineering: 16th International …, 2013‏
1972013
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‏
1882011
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‏
1422011
A bayesian approach to privacy enforcement in smartphones‏
O Tripp, J Rubin‏
23rd USENIX Security Symposium (USENIX Security 14), 175-190, 2014‏
1142014
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‏
1062015
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‏
1002013
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‏
992014
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‏
752014
Grail: Context-aware fixing of concurrency bugs‏
P Liu, O Tripp, C Zhang‏
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014‏
742014
Z3str2: an efficient solver for strings, regular expressions, and length constraints‏
Y Zheng, V Ganesh, S Subramanian, O Tripp, M Berzish, J Dolby, ...‏
Formal Methods in System Design 50, 249-288, 2017‏
672017
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‏
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015‏
572015
Learning minimal abstractions‏
P Liang, O Tripp, M Naik‏
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011‏
562011
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‏
542015
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‏
532013
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‏
512013
Detecting persistent vulnerabilities in web applications‏
Y Amit, O Tripp‏
US Patent 8,949,994, 2015‏
452015
Enforcement of data privacy to maintain obfuscation of certain data‏
MG Burke, I Peshansky, M Pistoia, O Tripp‏
US Patent 8,544,104, 2013‏
422013
A deep dive into large language models for automated bug localization and repair‏
SB Hossain, N Jiang, Q Zhou, X Li, WH Chiang, Y Lyu, H Nguyen, O Tripp‏
Proceedings of the ACM on Software Engineering 1 (FSE), 1471-1493, 2024‏
402024
Security risk evaluation‏
R Hay, O Tripp, M Pistoia‏
US Patent App. 15/339,965, 2018‏
402018
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20