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
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →