Folgen
Marco Pistoia
Marco Pistoia
Head of Research and Engineering, JPMorgan Chase & Co.
Bestätigte E-Mail-Adresse bei jpmchase.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Qiskit: An open-source framework for quantum computing
G Aleksandrowicz, T Alexander, P Barkoutsos, L Bello, Y Ben-Haim, ...
Accessed on: Mar 16, 2019
497*2019
TAJ: effective taint analysis of web applications
O Tripp, M Pistoia, SJ Fink, M Sridharan, O Weisman
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Languages …, 2009
4362009
Static specification mining using automata-based abstractions
S Shoham, E Yahav, SJ Fink, M Pistoia
IEEE Transactions on Software Engineering 34 (5), 651-666, 2008
2562008
Method, system and computer program product for enforcing privacy policies
L Koved, M Pistoia
US Patent 7,877,812, 2011
2302011
Directed test generation for effective fault localization
S Artzi, J Dolby, F Tip, M Pistoia
Proceedings of the 19th international symposium on Software testing and …, 2010
1752010
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
1692011
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
1612013
System and method for supporting digital rights management in an enhanced Java™ 2 runtime environment
L Koved, MM Mourad, JP Munson, G Pacifici, M Pistoia, AS Youssef
US Patent 7,308,717, 2007
1492007
Access rights analysis for Java
L Koved, M Pistoia, A Kershenbaum
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented …, 2002
1422002
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
1092011
A survey of static analysis methods for identifying security vulnerabilities in software systems
M Pistoia, S Chandra, SJ Fink, E Yahav
IBM systems journal 46 (2), 265-288, 2007
1082007
Practical fault localization for dynamic web applications
S Artzi, J Dolby, F Tip, M Pistoia
2010 ACM/IEEE 32nd International Conference on Software Engineering 1, 265-274, 2010
1072010
Automatic detection of inter-application permission leaks in android applications
D Sbîrlea, MG Burke, S Guarnieri, M Pistoia, V Sarkar
IBM Journal of Research and Development 57 (6), 10: 1-10: 12, 2013
1032013
Software verification system, method and computer program element
PH Abbott, L Koved, AJ Nadalin, M Pistoia
US Patent 7,496,757, 2009
932009
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
912013
Transparent digital rights management for extendible content viewers
MM Mourad, JP Munson, T Nadeem, G Pacifici, M Pistoia, AS Youssef
US Patent 7,171,558, 2007
882007
Interprocedural analysis for privileged code placement and tainted variable detection
M Pistoia, RJ Flynn, L Koved, VC Sreedhar
European Conference on Object-Oriented Programming, 362-386, 2005
872005
Static analysis based error reduction for software applications
B Alpern, R Johnson, A Kershenbaum, L Koved, G Leeman, M Pistoia, ...
US Patent App. 10/620,078, 2005
842005
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
802015
Quantum equation of motion for computing molecular excitation energies on a noisy quantum processor
PJ Ollitrault, A Kandala, CF Chen, PK Barkoutsos, A Mezzacapo, ...
Physical Review Research 2 (4), 043140, 2020
762020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20