Inventor
Marco Pistoia
Inventor
Amawalk, NY, US
Overview
Patents· 240 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing57%
H04LTransmission of digital information, e.g. telegraphic communication18%
G06NComputing arrangements based on specific computational models6%
H04WWireless communication networks5%
G06TImage data processing or generation, in general2%
G06KGraphical data reading2%
G06VImage or video recognition or understanding2%
H04NPictorial communication, e.g. television2%
Y02DClimate change mitigation technologies in information and communication technologies [ict], i.e. information and communication technologies aiming at the reduction of their own energy use2%
G09GArrangements or circuits for control of indicating devices using static means to present variable information1%
PatentTitleYear
11,128,706Omnichannel approach to application sharing across different devices202111,128,707Omnichannel approach to application sharing across different devices202111,074,519Quantum algorithm concatenation202111,048,485User interface code re-use based upon machine learning of design documents202111,032,306System, method and apparatus for fully precise hybrid security verification of mobile applications202111,017,084Detection of malicious code fragments via data-flow isolation202110,956,562Developing applications using precise static security analysis202110,956,580Identifying computer program security access control violations using static analysis202110,915,659Privacy detection of a mobile application program202110,846,401System, method and apparatus for usable code-level statistical analysis with applications in malware detection202010,846,080Cooperative updating of software202010,839,312Warning filter based on machine learning202010,838,915Data-centric approach to analysis202010,831,495Parallelization of numeric optimizers202010,831,455Quantum circuit compilation with quantum libraries as a service202010,832,173Cognitive software development202010,803,215Incremental generation of quantum circuits202010,803,395Quantum computations of classical specifications202010,762,063Cognitive mobile application design search engine including a keyword search202010,754,947System, method and apparatus for usable code-level statistical analysis with applications in malware detection202010,754,622Extracting mobile application workflow from design files202010,742,666System and method for static detection and categorization of information-flow downgraders202010,740,071Predicting and using utility of script execution in functional web crawling and other crawling202010,740,659Fusing sparse kernels to approximate a full kernel of a convolutional neural network202010,726,357Cross-platform program analysis using machines learning based on universal features202010,721,419Ortho-selfie distortion correction using multiple image sensors to synthesize a virtual image202010,713,055Parallelization of numeric optimizers202010,701,099Providing efficient information tracking with dynamically selected precision202010,699,212Cross-platform program analysis using machine learning based on universal features202010,698,789Fuzz testing for quantum SDK202010,678,517User interface synthesis based upon extracted presentation document graphical features202010,671,517Generating mobile test sequences202010,649,740Predicting and using utility of script execution in functional web crawling and other crawling202010,650,149Identifying computer program security access control violations using static analysis202010,637,480Multi-control quantum state inversion gate202010,621,333Install-time security analysis of mobile applications202010,621,062Widget provisioning of user experience analytics and user interface / application management202010,614,224Identifying computer program security access control violations using static analysis202010,614,243Privacy detection of a mobile application program202010,599,399Mobile user interface design testing tool202010,585,640Automated voice enablement of applications202010,565,470System, method and recording medium for user interface (UI)-level clone detection202010,548,172System, method and apparatus for sensor virtualization in mobile devices202010,545,848Boosting the efficiency of static program analysis using configuration tuning202010,531,293Social and proximity based access control for mobile applications202010,503,929Visually configurable privacy enforcement201910,489,127Mapping of software code via user interface summarization201910,481,865Automated voice enablement of applications201910,484,868Configuring privacy policies by formulating questions and evaluating responses201910,417,116System, method, and apparatus for crowd-sourced gathering of application execution events for automatic application testing and replay201910,387,288Interactive analysis of a security specification201910,372,582Enhanced string analysis that improves accuracy of static analysis201910,324,820Providing specialization for static program analysis using coding hints201910,298,678Omnichannel approach to application sharing across different devices201910,296,737Security enforcement in the presence of dynamic code loading201910,289,540Performing entropy-based dataflow analysis201910,275,238Hybrid program analysis201910,268,458Prospective voice user interface modality identification201910,268,457Prospective voice user interface modality identification201910,268,350Automatically capturing user interactions and evaluating user interfaces in software programs using field testing201910,248,965Location oriented membership code device201910,250,642System, method and apparatus for fine-grained privacy specification and verification201910,248,385Extracting mobile application workflow from design files201910,237,734Social and proximity based access control for mobile applications201910,228,917Mapping of software code via user interface summarization201910,223,079Mapping of software code via user interface summarization201910,222,955Automatically capturing user interactions and evaluating user interfaces in software programs using field testing201910,216,954Privacy detection of a mobile application program201910,218,777System, method and apparatus for ad-hoc utilization of available resources across mobile devices201910,218,587Transparently tracking provenance information in distributed data systems201910,212,054Transparently tracking provenance information in distributed data systems201910,127,689Mobile user interface design testing tool201810,095,490System, method and apparatus for preventing vulnerable interleavings in web applications at compile time201810,080,248System, method and apparatus for sensor virtualization in mobile devices201810,073,975Application integrity verification in multi-tier architectures201810,055,590Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysis201810,015,181Using natural language processing for detection of intended or unexpected application behavior20189,996,324Cooperative creation of dataflow models using sparse random instrumentation20189,946,629System, method and apparatus for deriving root cause for software test failure20189,940,465Static security analysis using a hybrid representation of string values20189,940,464Static security analysis using a hybrid representation of string values20189,940,478Fine-grained user control over usages of sensitive system resources having private data with applications in privacy enforcement20189,910,833'Automatically rendering web and/or hybrid applications natively in parallel'20189,900,340'Testing web applications for security vulnerabilities with metarequests'20189,892,263'System, method and apparatus to visually configure an analysis of a program'20189,888,021'Crowd based detection of device compromise in enterprise setting'20189,858,419'System, method, and apparatus for modular, string-sensitive, access rights analysis with demand-driven precision'20189,836,608System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies20179,836,193Automatically capturing user interactions and evaluating user interfaces in software programs using field testing20179,823,998'Trace recovery via statistical reasoning'20179,787,798'Generating collapsed user interface interaction sequence controls in mobile applications'20179,747,187'Simulating black box test results using information from white box testing'20179,733,927'Detection of software or hardware incompatibilities in software packages'20179,720,798'Simulating black box test results using information from white box testing'20179,705,910'Testing web applications for security vulnerabilities with metarequests'20179,703,990'Protecting content displayed on a mobile device'20179,706,009'Generating collapsed user interface interaction sequence controls in mobile applications'20179,697,018'Synthesizing inputs to preserve functionality'20179,697,108'System, method, and apparatus for automatic recording and replaying of application executions'20179,684,788'Self-repair and distributed-repair of applications'20179,684,804'Protecting content displayed on a mobile device'20179,684,803'Protecting content displayed on a mobile device'20179,680,859'System, method and apparatus to visually configure an analysis of a program'20179,619,222'System, method and apparatus for automatic device registration and secure application activation'20179,607,154'System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies'20179,558,014'System, method and apparatus for transparently enabling software applications with adaptive user interfaces'20179,531,600'Automatic extraction, modeling, and code mapping of application user interface display screens and components'20169,485,268'System, method and apparatus to visually configure an analysis of a program'20169,479,512'Social and proximity based access control for mobile applications'20169,473,507'Social and proximity based access control for mobile applications'20169,471,553'Automatically rendering web or hybrid applications natively'20169,459,990'Automatic and transparent application logging'20169,460,282'Static security analysis using a hybrid representation of string values'20169,459,986'Automatic generation of analysis-equivalent application constructs'20169,449,190'Method and system for run-time dynamic and interactive identification software authorization requirements and privileged code locations, and for validation of other software program analysis results'20169,443,102'Protecting content displayed on a mobile device'20169,424,423'Static security analysis using a hybrid representation of string values'20169,405,916'Automatic correction of security downgraders'20169,396,336'Automatic correction of security downgraders'20169,384,354'Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysis'20169,372,779'System, method, apparatus and computer program for automatic evaluation of user interfaces in software programs'20169,369,349'Automatic extraction, modeling, and code mapping of application user interface display screens and components'20169,363,284'Testing web applications for security vulnerabilities with metarequests'20169,336,120'Enhanced string analysis that improves accuracy of static analysis'20169,338,063'Automatic extraction, modeling, and code mapping of application user interface display screens and components'20169,326,236'Method, apparatus and computer program product providing performance and energy optimization for mobile computing'20169,326,237'Method, apparatus and computer program product providing performance and energy optimization for mobile computing'20169,282,013'Transparently tracking provenance information in distributed data systems'20169,275,246'System and method for static detection and categorization of information-flow downgraders'20169,276,829'Transparently tracking provenance information in distributed data systems'20169,256,409'Building reusable function summaries for frequently visited methods to optimize data-flow analysis'20169,250,876'Building reusable function summaries for frequently visited methods to optimize data-flow analysis'20169,251,352'Quantitative analysis of information leakage vulnerabilities'20169,246,885'System, method, apparatus and computer programs for securely using public services for private or enterprise purposes'20169,223,984'After-the-fact configuration of static analysis tools able to reduce user burden'20159,208,055'Importance-based call graph construction'20159,208,061'Partitioning of program analyses into sub-analyses using dynamic hints'20159,177,143'Progressive static security analysis'20159,176,849'Partitioning of program analyses into sub-analyses using dynamic hints'20159,178,856'System, method, apparatus and computer programs for securely using public services for private or enterprise purposes'20159,164,869'Scalable and precise string analysis using index-sensitive static string abstractions'20159,166,996'Automatic correction of security downgraders'20159,158,923'Mitigating security risks via code movement'20159,158,848'Web testing tools system and method'20159,141,792'Application-level anomaly detection'20159,135,147'Automated testing of applications with scripting code'20159,135,441'Progressive static security analysis'20159,129,119'Enforcement of data privacy to maintain obfuscation of certain data'20159,122,734'Transparent data service suitable for modifying data storage capabilities in applications'20159,111,091'Automatic extraction, modeling, and code mapping of application user interface display screens and components'20159,098,623'Static analysis of validator routines'20159,094,400'Authentication in virtual private networks'20159,092,723'Using a heuristically-generated policy to dynamically select string analysis algorithms for client queries'20159,081,968'Quantitative analysis of information leakage vulnerabilities'20159,075,997'Global variable security analysis'20159,043,761'Fault localization using condition modeling and return value modeling'20159,021,450'Scalable and precise string analysis using index-sensitive static string abstractions'20159,009,535'Anomaly detection at the level of run time data structures'20158,990,949'Automatic correction of security downgraders'20158,984,495'Enhanced string analysis that improves accuracy of static analysis'20158,984,493'Distributed static analysis of computer software applications'20158,984,642'Detecting security vulnerabilities in web applications'20158,972,334'Transparent data service suitable for modifying data storage capabilities in applications'20158,955,139'Sound and effective data-flow analysis in the presence of aliasing'20158,955,058'Automatically generating challenge questions inferred from user history data for user authentication'20158,949,995'Certifying server side web applications against security vulnerabilities'20158,943,599'Certifying server side web applications against security vulnerabilities'20158,935,680'Differential static program analysis'20158,935,674'Determining correctness conditions for use in static analysis'20158,931,101'Application-level anomaly detection'20158,930,884'Efficient extraction of software dependencies from program code'20158,918,886'Training classifiers for program analysis'20148,914,890'Determining the vulnerability of computer software applications to privilege-escalation attacks'20148,910,293'Determining the vulnerability of computer software applications to privilege-escalation attacks'20148,904,543'Discovery of application vulnerabilities involving multiple execution flows'20148,898,188'String analysis based on three-valued logic'20148,881,300'Automated detection of flaws and incompatibility problems in information flow downgraders'20148,875,297'Interactive analysis of a security specification'20148,863,292'Interactive analysis of a security specification'20148,856,764'Distributed static analysis of computer software applications'20148,850,405'Generating sound and minimal security reports based on static analysis of a program'20148,850,589'Training classifiers for program analysis'20148,844,046'Method and apparatus for paralleling and distributing static source code security analysis using loose synchronization'20148,819,635'Confidence-based static analysis'20148,799,874'Static analysis of computer software applications'20148,793,800'Static analysis for verification of software program access to secure resources for computer systems'20148,789,188'Method and apparatus for automatic determination of authorization requirements while editing or generating code'20148,769,696'Automated detection of flaws and incompatibility problems in information flow downgraders'20148,756,587'Static analysis of computer software applications'20148,751,422'Using a heuristically-generated policy to dynamically select string analysis algorithms for client queries'20148,745,578'Eliminating false-positive reports resulting from static analysis of computer software'20148,726,246'Static analysis of validator routines'20148,701,186'Formal analysis of the quality and conformance of information flow downgraders'20148,695,056'Method for information tracking in multiple interdependent dimensions'20148,695,098'Detecting security vulnerabilities in web applications'20148,683,599'Static analysis for verification of software program access to secure resources for computer systems'20148,671,284'Security model for actor-based languages and apparatus, methods, and computer programming products using same'20148,667,584'Formal analysis of the quality and conformance of information flow downgraders'20148,661,264'Security model for actor-based languages and apparatus, methods, and computer programming products using same'20148,656,496'Global variable security analysis'20148,650,546'Static analysis based on observed string values during execution of a computer-based software application'20148,646,088'Runtime enforcement of security checks'20148,635,602'Verification of information-flow downgraders'20148,627,465'Automatic inference of whitelist-based validation as part of static analysis for security'20148,584,246'Eliminating false reports of security vulnerabilities when testing computer software'20138,572,748'Label-based taint analysis'20138,572,747'Policy-driven detection and verification of methods such as sanitizers and validators'20138,572,727'System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies'20138,572,674'System, method, and apparatus for modular, string-sensitive, access rights analysis with demand-driven precision'20138,561,035'Method and system to discover possible program variable values by connecting program value extraction with external data sources'20138,544,104'Enforcement of data privacy to maintain obfuscation of certain data'20138,533,694'Identification of read/write chains during static analysis of computer software'20138,533,659'Efficient extraction of software dependencies from program code'20138,528,095'Injection context based static analysis of computer software applications'20138,516,449'Detecting and localizing security vulnerabilities in client-server application'20138,490,057'Confidence-based static analysis'20138,473,899'Automatic optimization of string allocations in a computer program'20138,468,605'Identifying security vulnerability in computer software'20138,453,125'Generating inputs for client-server programs for fault-detection and localization'20138,434,070'Generating specifications of client-server applications for static analysis'20138,387,111'Type independent permission based access control'20138,387,018'Fault localization using directed test generation'20138,381,199'Modular and/or demand-driven string analysis of a computer program'20138,381,242'Static analysis for verification of software program access to secure resources for computer systems'20138,375,371'Importance-based call graph construction'20138,365,281'Determining whether method of computer program is a validator'20138,365,280'System, method, and program for determining validity of string'20138,332,939'System and method for the automatic identification of subject-executed code and subject-granted access rights'20128,296,722'Crawling of object model using transformation graph'20128,230,477'System and method for the automatic evaluation of existing security policies and automatic creation of new security policies'20128,006,233'System and method for the automatic verification of privilege-asserting and subject-executed code'20117,877,812'Method, system and computer program product for enforcing privacy policies'20117,827,613'System and method for supporting digital rights management in an enhanced Javaâ„¢ 2 runtime environment'20107,810,135'Apparatus for adopting authorizations'20107,496,757'Software verification system, method and computer program element'20097,343,620'Method and apparatus for adopting authorizations'20087,308,717'System and method for supporting digital rights management in an enhanced Javaâ„¢ 2 runtime environment'20077,237,236'Method and apparatus for automatically determining optimum placement of privileged code locations in existing code'20077,171,558'Transparent digital rights management for extendible content viewers'20077,076,804'Automated program resource identification and association'2006Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
2006–2021Patents assigned to IBM (238)· patent assignee history
2006–2020Based in Yorktown Heights, NY, US· patent location history
2011–2021Based in Amawalk, NY, US· patent location history
2012–2017Patents assigned to PISTOIA MARCO (63)· patent assignee history
2012–2016Patents assigned to TATEISHI TAKAAKI (27)· patent assignee history
2013–2017Patents assigned to TRIPP OMER (44)· patent assignee history
2013–2017Patents assigned to WEISMAN OMRI (11)· patent assignee history
2013–2020Based in Hawthorne, NY, US· patent location history
2016Based in Arnawalk, NY, US· patent location history
2019Based in Weschester, NY, US· patent location history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| IBM | 238 | 2006–2021 |
| PISTOIA MARCOself | 63 | 2012–2017 |
| TRIPP OMER | 44 | 2013–2017 |
| TATEISHI TAKAAKI | 27 | 2012–2016 |
| WEISMAN OMRI | 11 | 2013–2017 |
Locations
| Location | Patents | Span |
|---|---|---|
| Amawalk, New York, US | 203 | 2011–2021 |
| Yorktown Heights, New York, US | 18 | 2006–2020 |
| Hawthorne, New York, US | 13 | 2013–2020 |
| Weschester, New York, US | 1 | 2019 |
| Arnawalk, New York, US | 1 | 2016 |