Patent | Date |
---|
Source Code Fault Detection App 20220308984 - Zhao; Shiwan ;   et al. | 2022-09-29 |
System, method and recording medium for generating mobile test sequences Grant 11,436,129 - Liu , et al. September 6, 2 | 2022-09-06 |
Widget provisioning of user experience analytics and user interface / application management Grant 11,403,196 - Ligman , et al. August 2, 2 | 2022-08-02 |
Homomorphic encryption with quantum key distribution encapsulation Grant 11,394,537 - Toudeh-Fallah , et al. July 19, 2 | 2022-07-19 |
Bootstrapping a variational algorithm for quantum computing Grant 11,372,651 - Wood , et al. June 28, 2 | 2022-06-28 |
Systems And Methods For Anonymizing A Dataset Of Biometric Data While Retaining Data Utility App 20220198061 - Moriarty; Bill ;   et al. | 2022-06-23 |
Iterative Energy-scaled Variational Quantum Eigensolver App 20220188381 - Mezzacapo; Antonio ;   et al. | 2022-06-16 |
Adiabatic progression with intermediate re-optimization to solve hard variational quantum problems in quantum computing Grant 11,341,427 - Greenberg , et al. May 24, 2 | 2022-05-24 |
Adiabatic progression with intermediate re-optimization to solve hard variational quantum problems in quantum computing Grant 11,334,810 - Greenberg , et al. May 17, 2 | 2022-05-17 |
Systems And Methods For Zero-footprint And Safe Execution Of Quantum Computing Programs App 20220137989 - PISTOIA; Marco ;   et al. | 2022-05-05 |
Quantum circuit optimization using machine learning Grant 11,321,625 - Gambetta , et al. May 3, 2 | 2022-05-03 |
State dependent calibration of qubit measurements Grant 11,321,619 - Mezzacapo , et al. May 3, 2 | 2022-05-03 |
Homomorphic Encryption With Quantum Key Distribution Encapsulation App 20220131690 - TOUDEH-FALLAH; Farzam ;   et al. | 2022-04-28 |
Privacy-preserving user-experience monitoring Grant 11,316,896 - Ligman , et al. April 26, 2 | 2022-04-26 |
Automatic Quantum Searching Of Object Databases App 20220121980 - Hu; Shaohan ;   et al. | 2022-04-21 |
Iterative energy-scaled variational quantum eigensolver Grant 11,294,986 - Mezzacapo , et al. April 5, 2 | 2022-04-05 |
Systems And Methods For Optimized Quantum Searching Using A Binomial Version Of Grover's Search Algorithm App 20220050873 - GILLIAM; Austin ;   et al. | 2022-02-17 |
Symbolic backend for execution of quantum programs Grant 11,243,248 - Liu , et al. February 8, 2 | 2022-02-08 |
Value based information tracking for security enforcement Grant 11,244,057 - Pistoia , et al. February 8, 2 | 2022-02-08 |
Automatic quantum searching of object databases Grant 11,238,043 - Hu , et al. February 1, 2 | 2022-02-01 |
Simplified quantum programming Grant 11,238,359 - Chen , et al. February 1, 2 | 2022-02-01 |
System, method and apparatus for sensor virtualization in mobile devices Grant 11,240,853 - Pistoia , et al. February 1, 2 | 2022-02-01 |
System, method and apparatus for extracting usage-based fine grained permissions Grant 11,227,045 - Ferrara , et al. January 18, 2 | 2022-01-18 |
Incremental Generation Of Quantum Circuits App 20220012390 - Greenberg; Don ;   et al. | 2022-01-13 |
User device privacy protection Grant 11,222,135 - Tripp , et al. January 11, 2 | 2022-01-11 |
Synthesizing sanitization code for applications based upon probabilistic prediction model Grant 11,194,908 - Liu , et al. December 7, 2 | 2021-12-07 |
Optimization of quantum circuits Grant 11,194,946 - Javadiabhari , et al. December 7, 2 | 2021-12-07 |
Incremental generation of quantum circuits Grant 11,182,523 - Greenberg , et al. November 23, 2 | 2021-11-23 |
Omnichannel approach to application sharing across different devices Grant 11,184,438 - Castro , et al. November 23, 2 | 2021-11-23 |
Systems And Methods For Optimized Quantum Searching App 20210357229 - GONCIULEA; Constantin ;   et al. | 2021-11-18 |
Fine-grained user control over usages of sensitive system resources having private data with applications in privacy enforcement Grant 11,176,267 - Brutschy , et al. November 16, 2 | 2021-11-16 |
Identifying computer program security access control violations using static analysis Grant 11,163,891 - Dietsch , et al. November 2, 2 | 2021-11-02 |
Light-weight context tracking and repair for preventing integrity and confidentiality violations Grant 11,138,319 - Ferrara , et al. October 5, 2 | 2021-10-05 |
Omnichannel approach to application sharing across different devices Grant 11,128,706 - Castro , et al. September 21, 2 | 2021-09-21 |
Omnichannel approach to application sharing across different devices Grant 11,128,707 - Castro , et al. September 21, 2 | 2021-09-21 |
Method And System For Verification Of Random Numbers App 20210247963 - BUTS; Alexander ;   et al. | 2021-08-12 |
Quantum algorithm concatenation Grant 11,074,519 - Hu , et al. July 27, 2 | 2021-07-27 |
User interface code re-use based upon machine learning of design documents Grant 11,048,485 - Lee , et al. June 29, 2 | 2021-06-29 |
System, method and apparatus for fully precise hybrid security verification of mobile applications Grant 11,032,306 - Pistoia , et al. June 8, 2 | 2021-06-08 |
Iterative Energy-scaled Variational Quantum Eigensolver App 20210157877 - Mezzacapo; Antonio ;   et al. | 2021-05-27 |
Source Code Auto-suggestion Based On Structural And Semantic Features App 20210157553 - LIGMAN; Joseph ;   et al. | 2021-05-27 |
Detection of malicious code fragments via data-flow isolation Grant 11,017,084 - Hay , et al. May 25, 2 | 2021-05-25 |
Efficient Quadratic Ising Hamiltonian Generation With Qubit Reduction App 20210150400 - Pistoia; Marco ;   et al. | 2021-05-20 |
Precision-preserving Qubit Reduction Based On Spatial Symmetries In Fermionic Systems App 20210118529 - Setia; Kanav ;   et al. | 2021-04-22 |
Developing applications using precise static security analysis Grant 10,956,562 - Guarnieri , et al. March 23, 2 | 2021-03-23 |
Identifying computer program security access control violations using static analysis Grant 10,956,580 - Dietsch , et al. March 23, 2 | 2021-03-23 |
State Dependent Calibration Of Qubit Measurements App 20210049482 - Mezzacapo; Antonio ;   et al. | 2021-02-18 |
Quantum Reinforcement Learning Agent App 20210049498 - Liu; Peng ;   et al. | 2021-02-18 |
Privacy detection of a mobile application program Grant 10,915,659 - Ferrara , et al. February 9, 2 | 2021-02-09 |
System, method and apparatus for usable code-level statistical analysis with applications in malware detection Grant 10,846,401 - Ferrara , et al. November 24, 2 | 2020-11-24 |
Cooperative updating of software Grant 10,846,080 - Tripp , et al. November 24, 2 | 2020-11-24 |
Warning filter based on machine learning Grant 10,839,312 - Aravkin , et al. November 17, 2 | 2020-11-17 |
Data-centric approach to analysis Grant 10,838,915 - Tripp , et al. November 17, 2 | 2020-11-17 |
Parallelization of numeric optimizers Grant 10,831,495 - Liu , et al. November 10, 2 | 2020-11-10 |
Cognitive software development Grant 10,832,173 - Pistoia , et al. November 10, 2 | 2020-11-10 |
Quantum circuit compilation with quantum libraries as a service Grant 10,831,455 - Gambetta , et al. November 10, 2 | 2020-11-10 |
Incremental Generation Of Quantum Circuits App 20200349309 - Greenberg; Don ;   et al. | 2020-11-05 |
Quantum Computational Method And Device App 20200342293 - Liu; Peng ;   et al. | 2020-10-29 |
Quantum Circuit Optimization Using Machine Learning App 20200342344 - Gambetta; Jay M. ;   et al. | 2020-10-29 |
Adiabatic Progression With Intermediate Re-optimization To Solve Hard Variational Quantum Problems In Quantum Computing App 20200327439 - Greenberg; Don ;   et al. | 2020-10-15 |
Adiabatic Progression With Intermediate Re-optimization To Solve Hard Variational Quantum Problems In Quantum Computing App 20200327438 - Greenberg; Don ;   et al. | 2020-10-15 |
Quantum computations of classical specifications Grant 10,803,395 - Pistoia , et al. October 13, 2 | 2020-10-13 |
Incremental generation of quantum circuits Grant 10,803,215 - Greenberg , et al. October 13, 2 | 2020-10-13 |
Calculating Excited State Properties Of A Molecular System Using A Hybrid Classical-quantum Computing System App 20200311589 - Ollitrault; Pauline ;   et al. | 2020-10-01 |
Automatic Generation Of Ising Hamiltonians For Solving Optimization Problems In Quantum Computing App 20200302306 - Matsuo; Atsushi ;   et al. | 2020-09-24 |
Parameter Extrapolation In Quantum Variational Circuits App 20200293935 - Greenberg; Don ;   et al. | 2020-09-17 |
Cognitive mobile application design search engine including a keyword search Grant 10,762,063 - Lee , et al. Sep | 2020-09-01 |
Extracting mobile application workflow from design files Grant 10,754,622 - Lee , et al. A | 2020-08-25 |
System, method and apparatus for usable code-level statistical analysis with applications in malware detection Grant 10,754,947 - Ferrara , et al. A | 2020-08-25 |
System and method for static detection and categorization of information-flow downgraders Grant 10,742,666 - Haviv , et al. A | 2020-08-11 |
Fusing sparse kernels to approximate a full kernel of a convolutional neural network Grant 10,740,659 - Chen , et al. A | 2020-08-11 |
Predicting and using utility of script execution in functional web crawling and other crawling Grant 10,740,071 - Pistoia , et al. A | 2020-08-11 |
Cross-platform program analysis using machines learning based on universal features Grant 10,726,357 - Pistoia , et al. | 2020-07-28 |
Parallelization Of Numeric Optimizers App 20200233671 - Liu; Peng ;   et al. | 2020-07-23 |
Ortho-selfie distortion correction using multiple image sensors to synthesize a virtual image Grant 10,721,419 - Cohen , et al. | 2020-07-21 |
Parallelization of numeric optimizers Grant 10,713,055 - Liu , et al. | 2020-07-14 |
Synthesizing Sanitization Code For Applications Based Upon Probabilistic Prediction Model App 20200218805 - Liu; Peng ;   et al. | 2020-07-09 |
Quantum Circuit Compilation With Quantum Libraries As A Service App 20200218518 - Gambetta; Jay M. ;   et al. | 2020-07-09 |
Automated Survey Results Generation From An Image App 20200210787 - Horesh; Lior ;   et al. | 2020-07-02 |
Fuzz testing for quantum SDK Grant 10,698,789 - Liu , et al. | 2020-06-30 |
Cross-platform program analysis using machine learning based on universal features Grant 10,699,212 - Pistoia , et al. | 2020-06-30 |
Providing efficient information tracking with dynamically selected precision Grant 10,701,099 - Ferrara , et al. | 2020-06-30 |
Identifying Computer Program Security Access Control Violations Using Static Analysis App 20200202009 - Dietsch; Matthias Daniel ;   et al. | 2020-06-25 |
Adaptive Quantum Circuit Construction For Multiple-controlled-not Gates App 20200202247 - Hu; Shaohan ;   et al. | 2020-06-25 |
Quantum Computation Of Molecular Excited States In The Presence Of Hamiltonian Symmetries App 20200193319 - Chen; Richard ;   et al. | 2020-06-18 |
Incremental Generation Of Quantum Circuits App 20200192993 - Greenberg; Don ;   et al. | 2020-06-18 |
User Interface Code Re-use Based Upon Machine Learning Of Design Documents App 20200183664 - Lee; Kyungmin ;   et al. | 2020-06-11 |
Automatic Quantum Searching Of Object Databases App 20200183938 - Hu; Shaohan ;   et al. | 2020-06-11 |
Fuzz Testing For Quantum Sdk App 20200183814 - Liu; Peng ;   et al. | 2020-06-11 |
User interface synthesis based upon extracted presentation document graphical features Grant 10,678,517 - Tripp , et al. | 2020-06-09 |
System, Method And Recording Medium For Generating Mobile Test Sequences App 20200174914 - Liu; Peng ;   et al. | 2020-06-04 |
Privacy Detection Of A Mobile Application Program App 20200175200 - Ferrara; Pietro ;   et al. | 2020-06-04 |
Generating mobile test sequences Grant 10,671,517 - Liu , et al. | 2020-06-02 |
Predicting and using utility of script execution in functional web crawling and other crawling Grant 10,649,740 - Pistoia , et al. | 2020-05-12 |
Identifying computer program security access control violations using static analysis Grant 10,650,149 - Dietsch , et al. | 2020-05-12 |
Parallelization Of Numeric Optimizers App 20200133676 - Liu; Peng ;   et al. | 2020-04-30 |
Multi-control quantum state inversion gate Grant 10,637,480 - Hu , et al. | 2020-04-28 |
System, Method And Apparatus For Sensor Virtualization In Mobile Devices App 20200128593 - Pistoia; Marco ;   et al. | 2020-04-23 |
Symbolic Backend For Execution Of Quantum Programs App 20200116784 - Liu; Peng ;   et al. | 2020-04-16 |
Install-time security analysis of mobile applications Grant 10,621,333 - Dolby , et al. | 2020-04-14 |
Widget provisioning of user experience analytics and user interface / application management Grant 10,621,062 - Ligman , et al. | 2020-04-14 |
Privacy detection of a mobile application program Grant 10,614,243 - Ferrara , et al. | 2020-04-07 |
Identifying computer program security access control violations using static analysis Grant 10,614,224 - Dietsch , et al. | 2020-04-07 |
Quantum Algorithm Concatenation App 20200097859 - Hu; Shaohan ;   et al. | 2020-03-26 |
Mobile user interface design testing tool Grant 10,599,399 - Chen , et al. | 2020-03-24 |
Value Based Information Tracking For Security Enforcement App 20200082096 - Pistoia; Marco ;   et al. | 2020-03-12 |
Cooperative Updating Of Software App 20200081705 - Tripp; Omer ;   et al. | 2020-03-12 |
Identifying Computer Program Security Access Control Violations Using Static Analysis App 20200082099 - Dietsch; Matthias Daniel ;   et al. | 2020-03-12 |
Data-centric Approach To Analysis App 20200081995 - Tripp; Omer ;   et al. | 2020-03-12 |
Bootstrapping A Variational Algorithm For Quantum Computing App 20200081721 - Wood; Stephen ;   et al. | 2020-03-12 |
Automated voice enablement of applications Grant 10,585,640 - Dolph , et al. | 2020-03-10 |
Design Optimization Of Quantum Circuits App 20200074035 - Javadiabhari; Ali ;   et al. | 2020-03-05 |
System, method and recording medium for user interface (UI)-level clone detection Grant 10,565,470 - Liu , et al. Feb | 2020-02-18 |
Monte Carlo Markov Chain Based Quantum Program Optimization App 20200042882 - Liu; Peng ;   et al. | 2020-02-06 |
System, method and apparatus for sensor virtualization in mobile devices Grant 10,548,172 - Pistoia , et al. Ja | 2020-01-28 |
Boosting the efficiency of static program analysis using configuration tuning Grant 10,545,848 - Guarnieri , et al. Ja | 2020-01-28 |
Social and proximity based access control for mobile applications Grant 10,531,293 - Castro , et al. J | 2020-01-07 |
Quantum Computations Of Classical Specifications App 20190378047 - Pistoia; Marco ;   et al. | 2019-12-12 |
Visually configurable privacy enforcement Grant 10,503,929 - Horesh , et al. Dec | 2019-12-10 |
User Device Privacy Protection App 20190362095 - Tripp; Omer ;   et al. | 2019-11-28 |
Interactive Analysis Of A Security Specification App 20190361788 - Pistoia; Marco ;   et al. | 2019-11-28 |
Mapping of software code via user interface summarization Grant 10,489,127 - Liu , et al. Nov | 2019-11-26 |
Automated voice enablement of applications Grant 10,481,865 - Dolph , et al. Nov | 2019-11-19 |
Configuring privacy policies by formulating questions and evaluating responses Grant 10,484,868 - Pistoia , et al. Nov | 2019-11-19 |
Widget Provisioning of User Experience Analytics and User Interface / Application Management App 20190340093 - Ligman; Joseph W. ;   et al. | 2019-11-07 |
System, Method And Apparatus For Usable Code-level Statistical Analysis With Applications In Malware Detection App 20190318088 - Ferrara; Pietro ;   et al. | 2019-10-17 |
System, method, and apparatus for crowd-sourced gathering of application execution events for automatic application testing and replay Grant 10,417,116 - Horesh , et al. Sept | 2019-09-17 |
Omnichannel Approach To Application Sharing Across Different Devices App 20190268413 - Castro; Paul C. ;   et al. | 2019-08-29 |
Omnichannel Approach To Application Sharing Across Different Devices App 20190268414 - Castro; Paul C. ;   et al. | 2019-08-29 |
Omnichannel Approach To Application Sharing Across Different Devices App 20190268415 - Castro; Paul C. ;   et al. | 2019-08-29 |
Interactive analysis of a security specification Grant 10,387,288 - Pistoia , et al. A | 2019-08-20 |
Enhanced string analysis that improves accuracy of static analysis Grant 10,372,582 - Guarnieri , et al. | 2019-08-06 |
Simplified Quantum Programming App 20190220782 - Chen; Richard ;   et al. | 2019-07-18 |
Cognitive Mobile Application Design Search Engine App 20190188287 - Lee; Kyungmin ;   et al. | 2019-06-20 |
Fusing Sparse Kernels To Approximate A Full Kernel Of A Convolutional Neural Network App 20190188526 - Chen; Richard ;   et al. | 2019-06-20 |
System, Method And Recording Medium For Applying Deep Learning To Mobile Application Testing App 20190188559 - Liu; Peng ;   et al. | 2019-06-20 |
Extracting Mobile Application Workflow From Design Files App 20190187958 - Lee; Kyungmin ;   et al. | 2019-06-20 |
System, Method And Recording Medium For Generating Mobile Test Sequences App 20190188117 - Liu; Peng ;   et al. | 2019-06-20 |
System, Method And Recording Medium For User Interface (ui)-level Clone Detection App 20190188529 - Liu; Peng ;   et al. | 2019-06-20 |
Providing specialization for static program analysis using coding hints Grant 10,324,820 - Pistoia , et al. | 2019-06-18 |
Ortho-selfie Distortion Correction Using Multiple Sources App 20190166314 - Cohen; Guy M. ;   et al. | 2019-05-30 |
Detection Of Malicious Code Fragments Via Data-flow Isolation App 20190156028 - Hay; Roee ;   et al. | 2019-05-23 |
Omnichannel approach to application sharing across different devices Grant 10,298,678 - Castro , et al. | 2019-05-21 |
Security enforcement in the presence of dynamic code loading Grant 10,296,737 - Bello , et al. | 2019-05-21 |
Performing entropy-based dataflow analysis Grant 10,289,540 - Ferrara , et al. | 2019-05-14 |
Gathering Coverage Metrics For Static Program Analysis Tools App 20190129828 - Tripp; Omer ;   et al. | 2019-05-02 |
Hybrid program analysis Grant 10,275,238 - Beskrovny , et al. | 2019-04-30 |
Automated Voice Enablement of Applications App 20190121609 - Dolph; Blaine H. ;   et al. | 2019-04-25 |
Automated Voice Enablement of Applications App 20190121608 - Dolph; Blaine H. ;   et al. | 2019-04-25 |
Prospective Voice User Interface Modality Identification App 20190121618 - Dolph; Blaine H. ;   et al. | 2019-04-25 |
Light-weight Context Tracking And Repair For Preventing Integrity And Confidentiality Violations App 20190121987 - Ferrara; Pietro ;   et al. | 2019-04-25 |
Prospective Voice User Interface Modality Identification App 20190121619 - Dolph; Blaine H. ;   et al. | 2019-04-25 |
Automatically capturing user interactions and evaluating user interfaces in software programs using field testing Grant 10,268,350 - Ligman , et al. | 2019-04-23 |
Prospective voice user interface modality identification Grant 10,268,457 - Dolph , et al. | 2019-04-23 |
Prospective voice user interface modality identification Grant 10,268,458 - Dolph , et al. | 2019-04-23 |
Mapping Of Software Code Via User Interface Summarization App 20190114156 - Liu; Peng ;   et al. | 2019-04-18 |
System, method and apparatus for fine-grained privacy specification and verification Grant 10,250,642 - Ferrara , et al. | 2019-04-02 |
Extracting mobile application workflow from design files Grant 10,248,385 - Lee , et al. | 2019-04-02 |
Location oriented membership code device Grant 10,248,965 - Cohen , et al. | 2019-04-02 |
Social and proximity based access control for mobile applications Grant 10,237,734 - Castro , et al. | 2019-03-19 |
Mapping of software code via user interface summarization Grant 10,228,917 - Liu , et al. | 2019-03-12 |
Automatically capturing user interactions and evaluating user interfaces in software programs using field testing Grant 10,222,955 - Ligman , et al. | 2019-03-05 |
Mapping of software code via user interface summarization Grant 10,223,079 - Liu , et al. | 2019-03-05 |
System, method and apparatus for ad-hoc utilization of available resources across mobile devices Grant 10,218,777 - Pistoia , et al. Feb | 2019-02-26 |
Privacy detection of a mobile application program Grant 10,216,954 - Ferrara , et al. Feb | 2019-02-26 |
Transparently tracking provenance information in distributed data systems Grant 10,218,587 - Castro , et al. Feb | 2019-02-26 |
Transparently tracking provenance information in distributed data systems Grant 10,212,054 - Castro , et al. Feb | 2019-02-19 |
Developing Applications Using Precise Static Security Analysis App 20180365414 - Guarnieri; Salvatore A. ;   et al. | 2018-12-20 |
Privacy Detection Of A Mobile Application Program App 20180357446 - Ferrara; Pietro ;   et al. | 2018-12-13 |
Identifying Computer Program Security Access Control Violations Using Static Analysis App 20180330097 - Dietsch; Matthias Daniel ;   et al. | 2018-11-15 |
Identifying Computer Program Security Access Control Violations Using Static Analysis App 20180330101 - Dietsch; Matthias Daniel ;   et al. | 2018-11-15 |
System, Method And Apparatus For Sensor Virtualization In Mobile Devices App 20180332637 - Pistoia; Marco ;   et al. | 2018-11-15 |
Mapping Of Software Code Via User Interface Summarization App 20180329695 - Liu; Peng ;   et al. | 2018-11-15 |
Mapping Of Software Code Via User Interface Summarization App 20180329694 - Liu; Peng ;   et al. | 2018-11-15 |
Mobile user interface design testing tool Grant 10,127,689 - Chen , et al. November 13, 2 | 2018-11-13 |
System, method and apparatus for preventing vulnerable interleavings in web applications at compile time Grant 10,095,490 - Pistoia , et al. October 9, 2 | 2018-10-09 |
Mobile User Interface Design Testing Tool App 20180286082 - Chen; Chun-Fu ;   et al. | 2018-10-04 |
System, method and apparatus for sensor virtualization in mobile devices Grant 10,080,248 - Pistoia , et al. September 18, 2 | 2018-09-18 |
Application integrity verification in multi-tier architectures Grant 10,073,975 - Ferrara , et al. September 11, 2 | 2018-09-11 |
Widget Provisioning of User Experience Analytics and User Interface / Application Management App 20180239681 - Ligman; Joseph W. ;   et al. | 2018-08-23 |
Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysis Grant 10,055,590 - Guarnieri , et al. August 21, 2 | 2018-08-21 |
Configuring Privacy Policies By Formulating Questions And Evaluating Responses App 20180206115 - Pistoia; Marco ;   et al. | 2018-07-19 |
Using natural language processing for detection of intended or unexpected application behavior Grant 10,015,181 - Horesh , et al. July 3, 2 | 2018-07-03 |
Mobile User Interface Design Testing Tool App 20180174330 - Chen; Chun-Fu ;   et al. | 2018-06-21 |
Cooperative creation of dataflow models using sparse random instrumentation Grant 9,996,324 - Ferrara , et al. June 12, 2 | 2018-06-12 |
Security Risk Evaluation App 20180121657 - HAY; ROEE ;   et al. | 2018-05-03 |
System, method and apparatus for deriving root cause for software test failure Grant 9,946,629 - Horesh , et al. April 17, 2 | 2018-04-17 |
Boosting The Efficiency Of Static Program Analysis Using Configuration Tuning App 20180101463 - Guarnieri; Salvatore ;   et al. | 2018-04-12 |
Performing Entropy-based Dataflow Analysis App 20180101471 - Ferrara; Pietro ;   et al. | 2018-04-12 |
Fine-grained user control over usages of sensitive system resources having private data with applications in privacy enforcement Grant 9,940,478 - Brutschy , et al. April 10, 2 | 2018-04-10 |
Static security analysis using a hybrid representation of string values Grant 9,940,465 - Guarnieri , et al. April 10, 2 | 2018-04-10 |
Static security analysis using a hybrid representation of string values Grant 9,940,464 - Guarnieri , et al. April 10, 2 | 2018-04-10 |
Providing Efficient Information Tracking With Dynamically Selected Precision App 20180091541 - Ferrara; Pietro ;   et al. | 2018-03-29 |
Detection Of Ipc-based Mobile Vulnerabilities Due To Insufficient Caller Permissions App 20180089439 - Hay; Roee ;   et al. | 2018-03-29 |
Providing Specialization For Static Program Analysis Using Coding Hints App 20180081789 - Pistoia; Marco ;   et al. | 2018-03-22 |
Automatically rendering web and/or hybrid applications natively in parallel Grant 9,910,833 - Ligman , et al. March 6, 2 | 2018-03-06 |
Machine Learning To Facilitate Incremental Static Program Analysis App 20180060068 - Ferrara; Pietro ;   et al. | 2018-03-01 |
Visually Configurable Privacy Enforcement App 20180053016 - Horesh; Lior ;   et al. | 2018-02-22 |
Testing web applications for security vulnerabilities with metarequests Grant 9,900,340 - Pistoia , et al. February 20, 2 | 2018-02-20 |
Application Integrity Verification In Multi-tier Architectures App 20180046810 - Ferrara; Pietro ;   et al. | 2018-02-15 |
Warning Filter Based On Machine Learning App 20180046934 - Aravkin; Aleksandr Y. ;   et al. | 2018-02-15 |
System, method and apparatus to visually configure an analysis of a program Grant 9,892,263 - Ligman , et al. February 13, 2 | 2018-02-13 |
Install-Time Security Analysis of Mobile Applications App 20180039774 - Dolby; Julian T. ;   et al. | 2018-02-08 |
Crowd based detection of device compromise in enterprise setting Grant 9,888,021 - Horesh , et al. February 6, 2 | 2018-02-06 |
System, Method, And Apparatus For Crowd-sourced Gathering Of Application Execution Events For Automatic Application Testing And Replay App 20180032424 - Horesh; Lior ;   et al. | 2018-02-01 |
System, Method And Apparatus For Preventing Vulnerable Interleavings In Web Applications At Compile Time App 20180032319 - Pistoia; Marco ;   et al. | 2018-02-01 |
Semantic Privacy Enforcement App 20180035285 - Ferrara; Pietro ;   et al. | 2018-02-01 |
System, Method And Apparatus For Fine-grained Privacy Specification And Verification App 20180034857 - Ferrara; Pietro ;   et al. | 2018-02-01 |
Privacy-preserving User-experience Monitoring App 20180027019 - Ligman; Joseph W. ;   et al. | 2018-01-25 |
Cross-platform Program Analysis Using Machine Learning Based On Universal Features App 20180012140 - PISTOIA; MARCO ;   et al. | 2018-01-11 |
Cross-platform Program Analysis Using Machines Learning Based On Universal Features App 20180012142 - PISTOIA; MARCO ;   et al. | 2018-01-11 |
System, method, and apparatus for modular, string-sensitive, access rights analysis with demand-driven precision Grant 9,858,419 - Dolby , et al. January 2, 2 | 2018-01-02 |
System, Method And Apparatus For Extracting Usage-based Fine Grained Permissions App 20170372060 - Ferrara; Pietro ;   et al. | 2017-12-28 |
Privacy Detection Of A Mobile Application Program App 20170372095 - Ferrara; Pietro ;   et al. | 2017-12-28 |
System, Method And Apparatus For Sensor Virtualization In Mobile Devices App 20170374693 - Pistoia; Marco ;   et al. | 2017-12-28 |
System, Method And Apparatus For Ad-hoc Utilization Of Available Resources Across Mobile Devices App 20170367086 - Pistoia; Marco ;   et al. | 2017-12-21 |
Automatically capturing user interactions and evaluating user interfaces in software programs using field testing Grant 9,836,193 - Ligman , et al. December 5, 2 | 2017-12-05 |
System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies Grant 9,836,608 - Centonze , et al. December 5, 2 | 2017-12-05 |
Reducing Hazards During Mobile Device Use App 20170344106 - Cohen; Guy M. ;   et al. | 2017-11-30 |
System, Method And Apparatus For Deriving Root Cause For Software Test Failure App 20170344459 - HORESH; LIOR ;   et al. | 2017-11-30 |
System And Method For Bypassing Evasion Tests With Applications In Analysis And Monitoring Of Mobile Applications App 20170344463 - Bello; Luciano ;   et al. | 2017-11-30 |
Using Natural Language Processing For Detection Of Intended Or Unexpected Application Behavior App 20170339175 - Horesh; Lior ;   et al. | 2017-11-23 |
Trace recovery via statistical reasoning Grant 9,823,998 - Ferrara , et al. November 21, 2 | 2017-11-21 |
System, Method and Apparatus to Visually Configure an Analysis of a Program App 20170300699 - Ligman; Joseph W. ;   et al. | 2017-10-19 |
Generating collapsed user interface interaction sequence controls in mobile applications Grant 9,787,798 - Pistoia , et al. October 10, 2 | 2017-10-10 |
Location Oriented Membership Code Device App 20170286726 - Cohen; Guy M. ;   et al. | 2017-10-05 |
Simulating black box test results using information from white box testing Grant 9,747,187 - Fink , et al. August 29, 2 | 2017-08-29 |
Detection of software or hardware incompatibilities in software packages Grant 9,733,927 - Dolby , et al. August 15, 2 | 2017-08-15 |
Simulating black box test results using information from white box testing Grant 9,720,798 - Fink , et al. August 1, 2 | 2017-08-01 |
Testing Web Applications for Security Vulnerabilities with Metarequests App 20170208087 - PISTOIA; Marco ;   et al. | 2017-07-20 |
Generating collapsed user interface interaction sequence controls in mobile applications Grant 9,706,009 - Pistoia , et al. July 11, 2 | 2017-07-11 |
Protecting content displayed on a mobile device Grant 9,703,990 - Cohen , et al. July 11, 2 | 2017-07-11 |
Testing web applications for security vulnerabilities with metarequests Grant 9,705,910 - Pistoia , et al. July 11, 2 | 2017-07-11 |
System, Method And Apparatus For Fully Precise Hybrid Security Verification Of Mobile Applications App 20170195358 - Pistoia; Marco ;   et al. | 2017-07-06 |
System, method, and apparatus for automatic recording and replaying of application executions Grant 9,697,108 - Ligman , et al. July 4, 2 | 2017-07-04 |
Synthesizing inputs to preserve functionality Grant 9,697,018 - Brutschy , et al. July 4, 2 | 2017-07-04 |
Protecting content displayed on a mobile device Grant 9,684,804 - Cohen , et al. June 20, 2 | 2017-06-20 |
Self-repair and distributed-repair of applications Grant 9,684,788 - Ferrara , et al. June 20, 2 | 2017-06-20 |
Protecting content displayed on a mobile device Grant 9,684,803 - Cohen , et al. June 20, 2 | 2017-06-20 |
Security Enforcement In The Presence Of Dynamic Code Loading App 20170169212 - BELLO; Luciano ;   et al. | 2017-06-15 |
Building Coverage Metrics And Testing Strategies For Mobile Testing Via View Enumeration App 20170168922 - LIGMAN; Joseph William ;   et al. | 2017-06-15 |
System, method and apparatus to visually configure an analysis of a program Grant 9,680,859 - Ligman , et al. June 13, 2 | 2017-06-13 |
Trace Recovery Via Statistical Reasoning App 20170161176 - FERRARA; Pietro ;   et al. | 2017-06-08 |
System, Method And Apparatus For Usable Code-level Statistical Analysis With Applications In Malware Detection App 20170154182 - Ferrara; Pietro ;   et al. | 2017-06-01 |
Detection Of Software Or Hardware Incompatibilities In Software Packages App 20170131999 - Dolby; Julian T. ;   et al. | 2017-05-11 |
System, method and apparatus for automatic device registration and secure application activation Grant 9,619,222 - Balasubramanian , et al. April 11, 2 | 2017-04-11 |
Crowd-based Detection Of Device Compromise In Enterprise Setting App 20170093899 - Horesh; Lior ;   et al. | 2017-03-30 |
System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies Grant 9,607,154 - Centonze , et al. March 28, 2 | 2017-03-28 |
System, Method And Apparatus For Simultaneous Definition And Enforcement Of Access-control And Integrity Policies App 20170039375 - CENTONZE; Paolina ;   et al. | 2017-02-09 |
System, method and apparatus for transparently enabling software applications with adaptive user interfaces Grant 9,558,014 - Ligman , et al. January 31, 2 | 2017-01-31 |
Social And Proximity Based Access Control For Mobile Applications App 20170019412 - CASTRO; PAUL C. ;   et al. | 2017-01-19 |
Social And Proximity Based Access Control For Mobile Applications App 20170019787 - CASTRO; PAUL C. ;   et al. | 2017-01-19 |
Self-repair And Distributed-repair Of Applications App 20160378987 - Ferrara; Pietro ;   et al. | 2016-12-29 |
Static Security Analysis Using A Hybrid Representation Of String Values App 20160378995 - Guarnieri; Salvatore A. ;   et al. | 2016-12-29 |
Automatic extraction, modeling, and code mapping of application user interface display screens and components Grant 9,531,600 - Ligman , et al. December 27, 2 | 2016-12-27 |
Protecting Content Displayed On A Mobile Device App 20160357947 - Cohen; Guy M. ;   et al. | 2016-12-08 |
Protecting Content Displayed On A Mobile Device App 20160357992 - Cohen; Guy M. ;   et al. | 2016-12-08 |
Protecting Content Displayed On A Mobile Device App 20160358014 - Cohen; Guy M. ;   et al. | 2016-12-08 |
Synthesizing Inputs To Preserve Functionality App 20160350155 - Brutschy; Lucas ;   et al. | 2016-12-01 |
System, Method And Apparatus To Visually Configure An Analysis Of A Program App 20160344761 - Ligman; Joseph W. ;   et al. | 2016-11-24 |
Static Security Analysis Using A Hybrid Representation Of String Values App 20160335434 - Guarnieri; Salvatore A. ;   et al. | 2016-11-17 |
System, method and apparatus to visually configure an analysis of a program Grant 9,485,268 - Ligman , et al. November 1, 2 | 2016-11-01 |
Social and proximity based access control for mobile applications Grant 9,479,512 - Castro , et al. October 25, 2 | 2016-10-25 |
Automatically rendering web or hybrid applications natively Grant 9,471,553 - Ligman , et al. October 18, 2 | 2016-10-18 |
Social and proximity based access control for mobile applications Grant 9,473,507 - Castro , et al. October 18, 2 | 2016-10-18 |
Static security analysis using a hybrid representation of string values Grant 9,460,282 - Guarnieri , et al. October 4, 2 | 2016-10-04 |
Automatic and transparent application logging Grant 9,459,990 - Ligman , et al. October 4, 2 | 2016-10-04 |
Automatic generation of analysis-equivalent application constructs Grant 9,459,986 - Guarnieri , et al. October 4, 2 | 2016-10-04 |
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 Grant 9,449,190 - Centonze , et al. September 20, 2 | 2016-09-20 |
Protecting content displayed on a mobile device Grant 9,443,102 - Cohen , et al. September 13, 2 | 2016-09-13 |
Fine-Grained User Control Over Usages Of Sensitive System Resources Having Private Data With Applications In Privacy Enforcement App 20160246992 - Brutschy; Lucas ;   et al. | 2016-08-25 |
Fine-Grained User Control Over Usages Of Sensitive System Resources Having Private Data With Applications In Privacy Enforcement App 20160246990 - Brutschy; Lucas ;   et al. | 2016-08-25 |
Static security analysis using a hybrid representation of string values Grant 9,424,423 - Guarnieri , et al. August 23, 2 | 2016-08-23 |
Testing WEB Applications For Security Vulnerabilities With Metarequests App 20160234246 - Pistoia; Marco ;   et al. | 2016-08-11 |
Automatic correction of security downgraders Grant 9,405,916 - Guarnieri , et al. August 2, 2 | 2016-08-02 |
Predicting And Using Utility Of Script Execution In Functional Web Crawling And Other Crawling App 20160210361 - Pistoia; Marco ;   et al. | 2016-07-21 |
Enhanced String Analysis that Improves Accuracy of Static Analysis App 20160210217 - Guarnieri; Salvatore A. ;   et al. | 2016-07-21 |
Protecting Content Displayed On A Mobile Device App 20160210473 - Cohen; Guy M. ;   et al. | 2016-07-21 |
Predicting And Using Utility Of Script Execution In Functional Web Crawling And Other Crawling App 20160210125 - PISTOIA; Marco ;   et al. | 2016-07-21 |
Automatic correction of security downgraders Grant 9,396,336 - Guarnieri , et al. July 19, 2 | 2016-07-19 |
Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysis Grant 9,384,354 - Guarnieri , et al. July 5, 2 | 2016-07-05 |
Generating Collapsed User Interface Interaction Sequence Controls In Mobile Applications App 20160188139 - Pistoia; Marco ;   et al. | 2016-06-30 |
Generating Collapsed User Interface Interaction Sequence Controls In Mobile Applications App 20160188144 - Pistoia; Marco ;   et al. | 2016-06-30 |
System, method, apparatus and computer program for automatic evaluation of user interfaces in software programs Grant 9,372,779 - Ligman , et al. June 21, 2 | 2016-06-21 |
Automatic extraction, modeling, and code mapping of application user interface display screens and components Grant 9,369,349 - Ligman , et al. June 14, 2 | 2016-06-14 |
Testing web applications for security vulnerabilities with metarequests Grant 9,363,284 - Pistoia , et al. June 7, 2 | 2016-06-07 |
System And Method For Static Detection And Categorization Of Information-flow Downgraders App 20160156650 - Haviv; Yinnon ;   et al. | 2016-06-02 |
Transparently Tracking Provenance Information In Distributed Data Systems App 20160134494 - CASTRO; Paul C. ;   et al. | 2016-05-12 |
Automatic extraction, modeling, and code mapping of application user interface display screens and components Grant 9,338,063 - Ligman , et al. May 10, 2 | 2016-05-10 |
Enhanced string analysis that improves accuracy of static analysis Grant 9,336,120 - Guarnieri , et al. May 10, 2 | 2016-05-10 |
Transparently Tracking Provenance Information In Distributed Data Systems App 20160119208 - CASTRO; PAUL C. ;   et al. | 2016-04-28 |
Method, apparatus and computer program product providing performance and energy optimization for mobile computing Grant 9,326,236 - Ligman , et al. April 26, 2 | 2016-04-26 |
Method, apparatus and computer program product providing performance and energy optimization for mobile computing Grant 9,326,237 - Ligman , et al. April 26, 2 | 2016-04-26 |
Transparently tracking provenance information in distributed data systems Grant 9,282,013 - Castro , et al. March 8, 2 | 2016-03-08 |
System and method for static detection and categorization of information-flow downgraders Grant 9,275,246 - Haviv , et al. March 1, 2 | 2016-03-01 |
Automatically Capturing User Interactions And Evaluating User Interfaces In Software Programs Using Field Testing App 20160048302 - Ligman; Joseph W. ;   et al. | 2016-02-18 |
Automatically Capturing User Interactions And Evaluating User Interfaces In Software Programs Using Field Testing App 20160048443 - Ligman; Joseph W. ;   et al. | 2016-02-18 |
Building reusable function summaries for frequently visited methods to optimize data-flow analysis Grant 9,256,409 - Pistoia , et al. February 9, 2 | 2016-02-09 |
Building reusable function summaries for frequently visited methods to optimize data-flow analysis Grant 9,250,876 - Pistoia , et al. February 2, 2 | 2016-02-02 |
Quantitative analysis of information leakage vulnerabilities Grant 9,251,352 - Pistoia , et al. February 2, 2 | 2016-02-02 |
System, method, apparatus and computer programs for securely using public services for private or enterprise purposes Grant 9,246,885 - Castro , et al. January 26, 2 | 2016-01-26 |
After-the-fact configuration of static analysis tools able to reduce user burden Grant 9,223,984 - Guarnieri , et al. December 29, 2 | 2015-12-29 |
Partitioning of program analyses into sub-analyses using dynamic hints Grant 9,208,061 - Guarnieri , et al. December 8, 2 | 2015-12-08 |
Importance-based call graph construction Grant 9,208,055 - Fink , et al. December 8, 2 | 2015-12-08 |
Automatic Correction Of Security Downgraders App 20150347761 - GUARNIERI; SALVATORE A. ;   et al. | 2015-12-03 |
Partitioning Of Program Analyses Into Sub-analyses Using Dynamic Hints App 20150317237 - GUARNIERI; Salvatore A. ;   et al. | 2015-11-05 |
Partitioning of Program Analyses into Sub-Analyses Using Dynamic Hints App 20150317238 - GUARNIERI; Salvatore A. ;   et al. | 2015-11-05 |
System, Method, Apparatus And Computer Program For Automatic Evaluation Of User Interfaces In Software Programs App 20150317234 - Ligman; Joseph W. ;   et al. | 2015-11-05 |
System, method, apparatus and computer programs for securely using public services for private or enterprise purposes Grant 9,178,856 - Castro , et al. November 3, 2 | 2015-11-03 |
Partitioning of program analyses into sub-analyses using dynamic hints Grant 9,176,849 - Tripp , et al. November 3, 2 | 2015-11-03 |
Progressive static security analysis Grant 9,177,143 - Tripp , et al. November 3, 2 | 2015-11-03 |
Automatic correction of security downgraders Grant 9,166,996 - Guarnieri , et al. October 20, 2 | 2015-10-20 |
Scalable and precise string analysis using index-sensitive static string abstractions Grant 9,164,869 - Guarnieri , et al. October 20, 2 | 2015-10-20 |
Web testing tools system and method Grant 9,158,848 - Beskrovny , et al. October 13, 2 | 2015-10-13 |
Mitigating security risks via code movement Grant 9,158,923 - Guarnieri , et al. October 13, 2 | 2015-10-13 |
System, Method And Apparatus To Visually Configure An Analysis Of A Program App 20150288705 - Ligman; Joseph W. ;   et al. | 2015-10-08 |
Application-level anomaly detection Grant 9,141,792 - Baluda , et al. September 22, 2 | 2015-09-22 |
Automated testing of applications with scripting code Grant 9,135,147 - Artzi , et al. September 15, 2 | 2015-09-15 |
Progressive static security analysis Grant 9,135,441 - Tripp , et al. September 15, 2 | 2015-09-15 |
Enforcement of data privacy to maintain obfuscation of certain data Grant 9,129,119 - Burke , et al. September 8, 2 | 2015-09-08 |
Transparent data service suitable for modifying data storage capabilities in applications Grant 9,122,734 - Castro , et al. September 1, 2 | 2015-09-01 |
Automatic Extraction, Modeling, And Code Mapping Of Application User Interface Display Screens And Components App 20150236923 - Ligman; Joseph W. ;   et al. | 2015-08-20 |
Omnichannel Approach To Application Sharing Across Different Devices App 20150237128 - Castro; Paul C. ;   et al. | 2015-08-20 |
Automatic Extraction, Modeling, And Code Mapping Of Application User Interface Display Screens And Components App 20150236924 - Ligman; Joseph W. ;   et al. | 2015-08-20 |
Automatic extraction, modeling, and code mapping of application user interface display screens and components Grant 9,111,091 - Ligman , et al. August 18, 2 | 2015-08-18 |
Global Variable Security Analysis App 20150220739 - Artzi; Shay ;   et al. | 2015-08-06 |
Static analysis of validator routines Grant 9,098,623 - Berg , et al. August 4, 2 | 2015-08-04 |
Authentication in virtual private networks Grant 9,094,400 - Barkie , et al. July 28, 2 | 2015-07-28 |
Using a heuristically-generated policy to dynamically select string analysis algorithms for client queries Grant 9,092,723 - Pistoia , et al. July 28, 2 | 2015-07-28 |
System, Method and Apparatus for Automatic Device Registration and Secure Application Activation App 20150199193 - Balasubramanian; Rajesh ;   et al. | 2015-07-16 |
Quantitative analysis of information leakage vulnerabilities Grant 9,081,968 - Pistoia , et al. July 14, 2 | 2015-07-14 |
Quantitative Analysis Of Information Leakage Vulnerabilities App 20150193623 - Pistoia; Marco ;   et al. | 2015-07-09 |
Global variable security analysis Grant 9,075,997 - Artzi , et al. July 7, 2 | 2015-07-07 |
Automatic Correction Of Security Downgraders App 20150186652 - GUARNIERI; SALVATORE A. ;   et al. | 2015-07-02 |
Testing Web Applications For Security Vulnerabilities With Metarequests App 20150163237 - Pistoia; Marco ;   et al. | 2015-06-11 |
Quantitative Analysis Of Information Leakage Vulnerabilities App 20150161393 - Pistoia; Marco ;   et al. | 2015-06-11 |
Fault localization using condition modeling and return value modeling Grant 9,043,761 - Artzi , et al. May 26, 2 | 2015-05-26 |
Scalable and precise string analysis using index-sensitive static string abstractions Grant 9,021,450 - Guarnieri , et al. April 28, 2 | 2015-04-28 |
Anomaly detection at the level of run time data structures Grant 9,009,535 - Pistoia , et al. April 14, 2 | 2015-04-14 |
System, Method and Apparatus for Simultaneous Definition and Enforcement of Access-control and Integrity Policies App 20150089637 - Centonze; Paolina ;   et al. | 2015-03-26 |
Automatic correction of security downgraders Grant 8,990,949 - Guarnieri , et al. March 24, 2 | 2015-03-24 |
Distributed static analysis of computer software applications Grant 8,984,493 - Pistoia , et al. March 17, 2 | 2015-03-17 |
Detecting security vulnerabilities in web applications Grant 8,984,642 - Pistoia , et al. March 17, 2 | 2015-03-17 |
Enhanced string analysis that improves accuracy of static analysis Grant 8,984,495 - Guarnieri , et al. March 17, 2 | 2015-03-17 |
Automatic Generation Of Analysis-equivalent Application Constructs App 20150067653 - Guarnieri; Salvatore A. ;   et al. | 2015-03-05 |
System, Method And Apparatus For Transparently Enabling Software Applications With Adaptive User Interfaces App 20150067664 - Ligman; Joseph William ;   et al. | 2015-03-05 |
Building Reusable Function Summaries For Frequently Visited Methods To Optimize Data-flow Analysis App 20150067660 - Pistoia; Marco ;   et al. | 2015-03-05 |
Building Reusable Function Summaries for Frequently Visited Methods to Optimize Data-Flow Analysis App 20150067834 - Pistoia; Marco ;   et al. | 2015-03-05 |
Transparent data service suitable for modifying data storage capabilities in applications Grant 8,972,334 - Castro , et al. March 3, 2 | 2015-03-03 |
Automatically Capturing User Interactions And Evaluating User Interfaces In Software Programs Using Field Testing App 20150052503 - Ligman; Joseph W. ;   et al. | 2015-02-19 |
System, Method, and Apparatus for Automatic Recording and Replaying of Application Executions App 20150046909 - Ligman; Joseph W. ;   et al. | 2015-02-12 |
Automatically generating challenge questions inferred from user history data for user authentication Grant 8,955,058 - Castro , et al. February 10, 2 | 2015-02-10 |
Sound and effective data-flow analysis in the presence of aliasing Grant 8,955,139 - Dolby , et al. February 10, 2 | 2015-02-10 |
Certifying server side web applications against security vulnerabilities Grant 8,949,995 - Guarnieri , et al. February 3, 2 | 2015-02-03 |
After-The-Fact Configuration Of Static Analysis Tools Able To Reduce User Burden App 20140373159 - Guarnieri; Salvatore A. ;   et al. | 2014-12-18 |
After-the-Fact Configuration of Static Analysis Tools Able to Reduce User Burden App 20140373157 - Guarnieri; Salvatore A. ;   et al. | 2014-12-18 |
Interactive Analysis Of A Security Specification App 20140366146 - Pistoia; Marco ;   et al. | 2014-12-11 |
Method, Apparatus and Computer Program Product Providing Performance and Energy Optimization for Mobile Computing App 20140349571 - Ligman; Joseph W. ;   et al. | 2014-11-27 |
Method, Apparatus And Computer Program Product Providing Performance And Energy Optimization For Mobile Computing App 20140351310 - Ligman; Joseph W. ;   et al. | 2014-11-27 |
Progressive Static Security Analysis App 20140344939 - Tripp; Omer ;   et al. | 2014-11-20 |
Progressive Static Security Analysis App 20140344938 - Tripp; Omer ;   et al. | 2014-11-20 |
Partitioning of Program Analyses into Sub-Analyses Using Dynamic Hints App 20140317747 - Tripp; Omer ;   et al. | 2014-10-23 |
Partitioning of Program Analyses into Sub-Analyses Using Dynamic Hints App 20140317748 - Guarnieri; Salvatore A. ;   et al. | 2014-10-23 |
System, Method, Apparatus And Computer Programs For Securely Using Public Services For Private Or Enterprise Purposes App 20140298477 - Castro; Paul C. ;   et al. | 2014-10-02 |
System, Method, Apparatus And Computer Programs For Securely Using Public Services For Private Or Enterprise Purposes App 20140298476 - Castro; Paul C. ;   et al. | 2014-10-02 |
Scalable and Precise String Analysis Using Index-Sensitive Static String Abstractions App 20140258992 - Guarnieri; Salvatore Angelo ;   et al. | 2014-09-11 |
Scalable And Precise String Analysis Using Index-Sensitive Static String Abstractions App 20140259174 - Guarnieri; Salvatore A. ;   et al. | 2014-09-11 |
Web Testing Tools System And Method App 20140229463 - Beskrovny; Evgeny ;   et al. | 2014-08-14 |
Transparently Tracking Provenance Information In Distributed Data Systems App 20140223000 - Castro; Paul C. ;   et al. | 2014-08-07 |
Transparently Tracking Provenance Information In Distributed Data Systems App 20140222994 - Castro; Paul C. ;   et al. | 2014-08-07 |
Automatic Extraction, Modeling, And Code Mapping Of Application User Interface Display Screens And Components App 20140215343 - Ligman; Joseph W. ;   et al. | 2014-07-31 |
Automatic Extraction, Modeling, And Code Mapping Of Application User Interface Display Screens And Components App 20140215344 - Ligman; Joseph W. ;   et al. | 2014-07-31 |
Mitigating Security Risks Via Code Movement App 20140208428 - Guarnieri; Salvatore A. ;   et al. | 2014-07-24 |
Mitigating Security Risks Via Code Movement App 20140208430 - Guarnieri; Salvatore A. ;   et al. | 2014-07-24 |
Social And Proximity Based Access Control For Mobile Applications App 20140189786 - Castro; Paul C. ;   et al. | 2014-07-03 |
Enhanced String Analysis That Improves Accuracy Of Static Analysis App 20140189658 - Guarnieri; Salvatore A. ;   et al. | 2014-07-03 |
Social And Proximity Based Access Control For Mobile Applications App 20140189785 - Castro; Paul C. ;   et al. | 2014-07-03 |
Enhanced String Analysis That Improves Accuracy Of Static Analysis App 20140189657 - Guarnieri; Salvatore A. ;   et al. | 2014-07-03 |
Transparent Data Service Suitable For Modifying Data Storage Capabilities In Applications App 20140181023 - Castro; Paul C. ;   et al. | 2014-06-26 |
Transparent Data Service Suitable For Modifying Data Storage Capabilities In Applications App 20140181025 - Castro; Paul C. ;   et al. | 2014-06-26 |
Discovery Of Application Vulnerabilities Involving Multiple Execution Flows App 20140157419 - GUARNIERI; SALVATORE A. ;   et al. | 2014-06-05 |
Discovery Of Application Vulnerabilities Involving Multiple Execution Flows App 20140157420 - GUARNIERI; SALVATORE A. ;   et al. | 2014-06-05 |
Global Variable Security Analysis App 20140143880 - Artzi; Shay ;   et al. | 2014-05-22 |
Application-Level Anomaly Detection App 20140137239 - Baluda; Mauro ;   et al. | 2014-05-15 |
Automatically Rendering Web Or Hybrid Applications Natively App 20140136945 - Ligman; Joseph W. ;   et al. | 2014-05-15 |
Automatically Generating Challenge Questions Inferred From User History Data For User Authentication App 20140137203 - Castro; Paul C. ;   et al. | 2014-05-15 |
Application-Level Anomaly Detection App 20140137246 - Baluda; Mauro ;   et al. | 2014-05-15 |
Automatically Generating Challenge Questions Inferred From User History Data For User Authentication App 20140137219 - Castro; Paul C. ;   et al. | 2014-05-15 |
Injection Context Based Static Analysis Of Computer Software Applications App 20110321016A1 - | 2011-12-29 |
System, Method, And Program For Determining Validity Of String App 20100333201A1 - | 2010-12-30 |