Assignee
PISTOIA MARCO
US·20 granted patents·2 pending applications·100 citations·filing 2008–2012
Top patents by PatentIndex Score
22 records- 0192US8646088B2Runtime enforcement of security checksPISTOIA MARCO·Filed 2011·Granted Feb 4, 2014·25 cites·24 claims
- 0291US8769696B2Automated detection of flaws and incompatibility problems in information flow downgradersPISTOIA MARCO·Filed 2011·Granted Jul 1, 2014·15 cites·20 claims
- 0386US8745578B2Eliminating false-positive reports resulting from static analysis of computer softwarePISTOIA MARCO·Filed 2011·Granted Jun 3, 2014·9 cites·18 claims
- 0484US8856764B2Distributed static analysis of computer software applicationsPISTOIA MARCO·Filed 2011·Granted Oct 7, 2014·7 cites·17 claims
- 0583US8875297B2Interactive analysis of a security specificationPISTOIA MARCO·Filed 2012·Granted Oct 28, 2014·5 cites·10 claims
- 0683US8863292B2Interactive analysis of a security specificationPISTOIA MARCO·Filed 2011·Granted Oct 14, 2014·5 cites·14 claims
- 0783US8799874B2Static analysis of computer software applicationsPISTOIA MARCO·Filed 2012·Granted Aug 5, 2014·6 cites·19 claims
- 0881US8910293B2Determining the vulnerability of computer software applications to privilege-escalation attacksPISTOIA MARCO·Filed 2012·Granted Dec 9, 2014·5 cites·10 claims
- 0981US8756587B2Static analysis of computer software applicationsPISTOIA MARCO·Filed 2011·Granted Jun 17, 2014·5 cites·18 claims
- 1081US8572748B2Label-based taint analysisPISTOIA MARCO·Filed 2011·Granted Oct 29, 2013·6 cites·21 claims
- 1180US8695098B2Detecting security vulnerabilities in web applicationsPISTOIA MARCO·Filed 2011·Granted Apr 8, 2014·5 cites·4 claims
- 1270US8935674B2Determining correctness conditions for use in static analysisPISTOIA MARCO·Filed 2012·Granted Jan 13, 2015·2 cites·18 claims
- 1367US8650546B2Static analysis based on observed string values during execution of a computer-based software applicationPISTOIA MARCO·Filed 2011·Granted Feb 11, 2014·2 cites·12 claims
- 1464US8490057B2Confidence-based static analysisPISTOIA MARCO·Filed 2010·Granted Jul 16, 2013·1 cites·14 claims
- 1562US8533694B2Identification of read/write chains during static analysis of computer softwarePISTOIA MARCO·Filed 2008·Granted Sep 10, 2013·2 cites·12 claims
- 1652US9009535B2Anomaly detection at the level of run time data structuresPISTOIA MARCO·Filed 2012·Granted Apr 14, 2015·0 cites·7 claims
- 1751US2014053130A1Determining correctness conditions for use in static analysisPISTOIA MARCO·Filed 2012·Application pending·0 cites
- 1851US2014053029A1Anomaly detection at the level of run time data structuresPISTOIA MARCO·Filed 2012·Application pending·0 cites
- 1950US8914890B2Determining the vulnerability of computer software applications to privilege-escalation attacksPISTOIA MARCO·Filed 2011·Granted Dec 16, 2014·0 cites·18 claims
- 2047US8898188B2String analysis based on three-valued logicPISTOIA MARCO·Filed 2011·Granted Nov 25, 2014·0 cites·19 claims
- 2146US9092723B2Using a heuristically-generated policy to dynamically select string analysis algorithms for client queriesPISTOIA MARCO·Filed 2012·Granted Jul 28, 2015·0 cites·9 claims
- 2245US8751422B2Using a heuristically-generated policy to dynamically select string analysis algorithms for client queriesPISTOIA MARCO·Filed 2011·Granted Jun 10, 2014·0 cites·16 claims
Join the waitlist — get patent alerts
Get an alert when PISTOIA MARCO files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →