Patents

In July 2022, Dr. Pistoia was certified as the 248th most prolific American inventor of all time according to the US Patents and Trademarks Office. He is the inventor of the 646 patents listed below, 99 of which are in the areas of Quantum Computing, Quantum Communications, and quantum-inspired classical algorithms and applications. The rest of his intellectual property is in AI/ML, static program analysis, formal verification methods, language-based security and cybersecurity.

1. US-12362942-B2, Systems and Methods for Secure Client-Server Authentication with Key Recycling, 2025-07-15

2. US-12353952-B2, Systems And Methods For Preparation Of Normal Distributions On Quantum Computers, 2025-07-08

3. US-20250217802-A1, Zero-Knowledge Distributed Ledgers With Confidential Assets And Inter-Asset Auditing Capabilities, 2025-07-03

4. US-12333928-B2, Systems and Methods for Wayfinding in Hazardous Environments, 2025-06-17

5. US-12321715-B2, Method And System For Verification of Random Numbers, 2025-06-03

6. US-20250165825-A1, Systems And Methods For Tensor-Based Variational Quantum Algorithm Cost Function Landscape Generation, 2025-05-22

7. US-20250156702-A1, Systems And Methods For Generic Feature Suppression And Minimal Utility Presentation From Multi-Attribute Data, 2025-05-15

8. US-20250150281-A1, Systems And Methods For Secure Client-Server Authentication With Key Recycling, 2025-05-08

9. US-12259942-B2, Systems And Methods For Optimization Of Time Evolution For Quantum Computer-Based Eigenvalue Estimation, 2025-03-25

10. US-20250077924-A1, Systems And Methods For Hybrid Classical-Quantum Optimization Using Random Matrix Theory-Based Subproblem Identification On Correlation Matrices, 2025-03-06

11. US-12242562-B2, Systems And Methods For Enhanced Eigenvalue Inversion Using Quantum Conditional Logic, 2025-03-04

12. US-20250061335-A1, Systems And Methods For Providing Privacy Protection And Utility Preservation In Multi-Attribute Data Transformation With Theoretical Proofs, 2025-02-20

13. US-20250053827-A1, Systems And Methods For Decision Tree Construction And Update Using Quantum Algorithms, 2025-02-13

14. US-20250047651-A1, Systems And Methods For Mobile-Mediated Secure Key Exchange For General End-User Connectivity, 2025-02-06

15. US-12217329-B2, Systems And Methods For Dynamic Detection And Presentation Of Obscured Real-World Objects In Augmented Or Mixed Reality Virtual Content, 2025-02-04

16. US-12175342-B2, Quantum Reinforcement Learning Agent, 2024-12-24

17. US-12154001-B2, Parameter Extrapolation In Quantum Variational Circuits, 2024-11-26

18. US-12153554-B2, Systems And Methods For Removal Of Attributes From Multi-Modality And Multi-Attribute Data, 2024-11-26

19. US-20240356738-A1, Systems And Methods For Bridging Gaps In Cryptographic Secret Distribution Using Line-Of-Sight-Secured Networks, 2024-10-24

20. US-20240356741-A1, Systems And Methods For Secure Cryptographic Secret Distribution, 2024-10-24

21. US-20240330737-A1, Systems And Methods For Low-Cost Simulation Of Quantum Algorithms, 2024-10-03

22. US-12093128-B2, Systems And Methods For Efficient Error Mitigation In Quantum Circuit Execution Using Parity Checks And Classical Feedback, 2024-09-17

23. US-20240291640-A1, Systems And Methods For Quantum Key Distribution Secured Vault-Based Application-To-Application Communication, 2024-08-29

24. US-20240221477-A1, Systems And Methods For Wayfinding In Hazardous Environments, 2024-07-04

25. US-12013775-B2, Building Coverage Metrics And Testing Strategies For Mobile Testing Via View Enumeration, 2024-06-18

26. US-12008434-B2, Adiabatic Progression With Intermediate Re-Optimization To Solve Hard Variational Quantum Problems In Quantum Computing, 2024-06-11

27. US-12001921-B2, Adiabatic Progression With Intermediate Re-Optimization To Solve Hard Variational Quantum Problems In Quantum Computing, 2024-06-04

28. US-20240176694-A1, Systems And Methods For Efficient Error Mitigation In Quantum Circuit Execution Using Parity Checks And Classical Feedback, 2024-05-30

29. US-20240161002-A1, Quantum Reinforcement Learning Agent, 2024-05-16

30. US-11972681-B2, Systems And Methods For Wayfinding In Hazardous Environments, 2024-04-30

31. US-20240126761-A1, System And Methods For Processing Data Queries In Hybrid Data Mesh Architectures, 2024-04-18

32. US-20240104070-A1, Systems And Methods For Removal Of Attributes From Multi-Modality And Multi-Attribute Data, 2024-03-28

33. US-11921896-B2, Systems And Methods For Anonymizing A Dataset Of Biometric Data While Retaining Data Utility, 2024-03-05

34. US-11899660-B2, Systems And Methods For Optimized Cloud Database Query Execution, 2024-02-13

35. US-11894107-B2, Precision-Preserving Qubit Reduction Based On Spatial Symmetries In Fermionic Systems, 2024-02-06

36. US-20240020303-A1, Systems And Methods For Optimized Cloud Database Query Execution, 2024-01-18

37. US-11874838-B2, Automatic Quantum Searching Of Object Databases, 2024-01-16

38. US-20230419096-A1, Systems And Methods For Concealing Uninterested Attributes In Multi-Attribute Data Using Generative Adversarial Networks, 2023-12-28

39. US-11836470-B2, Adaptive Quantum Circuit Construction For Multiple-Controlled-Not Gates, 2023-12-05

40. US-11789724-B2, Machine Learning To Facilitate Incremental Static Program Analysis, 2023-10-17

41. US-20230298101-A1, Systems And Methods For Quantum Computing-Assisted Portfolio Selection, 2023-09-21

42. US-11762758-B2, Source Code Fault Detection, 2023-09-19

43. US-11734387-B2, Iterative Energy-Scaled Variational Quantum Eigensolver, 2023-08-22

44. US-20230229933-A1, Systems And Methods For Implementing Quantum Branch-And-Bound Algorithms With Heuristics, 2023-07-20

45. US-20230214581-A1, Systems And Methods For Quantum Computing-Based Extractive Summarization, 2023-07-06

46. US-20230185875-A1, Systems And Methods For Implementing All-To-All Connectivity In Gate-Based Quantum Computers Using Nearest-Neighbor Interactions, 2023-06-15

47. US-11676056-B2, Calculating Excited State Properties Of A Molecular System Using A Hybrid Classical-Quantum Computing System, 2023-06-13

48. US-11657196-B2, Incremental Generation Of Quantum Circuits, 2023-05-23

49. US-11651232-B2, Monte Carlo Markov Chain Based Quantum Program Optimization, 2023-05-16

50. US-20230142419-A1, Adaptive Quantum Circuit Construction For Multiple-Controlled-Not Gates, 2023-05-11

51. US-20230132523-A1, Systems And Methods For Wayfinding In Hazardous Environments, 2023-05-04

52. US-20230120993-A1, Systems And Methods For Automatic Redaction Of Sensitive Information From Video Streams, 2023-04-20

53. US-20230113125-A1, Systems And Methods For Dynamic Detection And Presentation Of Obscured Real-World Objects In Augmented Or Mixed Reality Virtual Content, 2023-04-13

54. US-11620534-B2, Automatic Generation Of Ising Hamiltonians For Solving Optimization Problems In Quantum Computing, 2023-04-04

55. US-11609751-B2, Adaptive Quantum Circuit Construction For Multiple-Controlled-NOT Gates, 2023-03-21

56. US-11599823-B2, Quantum Reinforcement Learning Agent, 2023-03-07

57. US-11574458-B2, Automated Survey Results Generation From An Image, 2023-02-07

58. US-20230017335-A1, Systems And Methods For Canonical Construction Of Quantum Oracles, 2023-01-19

59. US-11556830-B2, Efficient Quadratic Ising Hamiltonian Generation With Qubit Reduction, 2023-01-17

60. US-11544611-B2, Quantum Computation Of Molecular Excited States In The Presence Of Hamiltonian Symmetries, 2023-01-03

61. US-20220414510-A1, Adiabatic Progression With Intermediate Re-Optimization To Solve Hard Variational Quantum Problems In Quantum Computing, 2022-12-29

62. US-20220414511-A1, Adiabatic Progression With Intermediate Re-Optimization To Solve Hard Variational Quantum Problems In Quantum Computing, 2022-12-29

63. US-20220391468-A1, Systems And Methods For Preparation Of Normal Distributions On Quantum Computers, 2022-12-08

64. US-11522949-B1, Systems And Methods For Cloud-Based Hybrid Service Meshes In Microservice Architectures, 2022-12-06

65. US-20220382827-A1, Systems And Methods For Enhanced Eigenvalue Inversion Using Quantum Conditional Logic, 2022-12-01

66. US-20220382830-A1, Systems And Methods For Optimization Of Time Evolution For Quantum Computer-Based Eigenvalue Estimation, 2022-12-01

67. US-11507397-B2, Systems And Methods For Zero-Footprint And Safe Execution Of Quantum Computing Programs, 2022-11-22

68. US-20220308984-A1, Source Code Fault Detection, 2022-09-29

69. US-11436129-B2, System, Method And Recording Medium For Generating Mobile Test Sequences, 2022-09-06

70. US-11403196-B2, Widget Provisioning Of User Experience Analytics And User Interface / Application Management, 2022-08-02

71. US-11394537-B2, Homomorphic Encryption With Quantum Key Distribution Encapsulation, 2022-07-19

72. US-11372651-B2, Bootstrapping A Variational Algorithm For Quantum Computing, 2022-06-28

73. US-20220198061-A1, Systems And Methods For Anonymizing A Dataset Of Biometric Data While Retaining Data Utility, 2022-06-23

74. US-20220188381-A1, Iterative Energy-Scaled Variational Quantum Eigensolver, 2022-06-16

75. US-11341427-B2, Adiabatic Progression With Intermediate Re-Optimization To Solve Hard Variational Quantum Problems In Quantum Computing, 2022-05-24

76. US-11334810-B2, Adiabatic Progression With Intermediate Re-Optimization To Solve Hard Variational Quantum Problems In Quantum Computing, 2022-05-17

77. US-20220137989-A1, Systems And Methods For Zero-Footprint And Safe Execution Of Quantum Computing Programs, 2022-05-05

78. US-11321625-B2, Quantum Circuit Optimization Using Machine Learning, 2022-05-03

79. US-11321619-B2, State Dependent Calibration Of Qubit Measurements, 2022-05-03

80. US-20220131690-A1, Homomorphic Encryption With Quantum Key Distribution Encapsulation, 2022-04-28

81. US-11316896-B2, Privacy-Preserving User-Experience Monitoring, 2022-04-26

82. US-20220121980-A1, Automatic Quantum Searching Of Object Databases, 2022-04-21

83. US-11294986-B2, Iterative Energy-Scaled Variational Quantum Eigensolver, 2022-04-05

84. US-20220050873-A1, Systems And Methods For Optimized Quantum Searching Using A Binomial Version Of Grover's Search Algorithm, 2022-02-17

85. US-11244057-B2, Value Based Information Tracking For Security Enforcement, 2022-02-08

86. US-11243248-B2, Symbolic Backend For Execution Of Quantum Programs, 2022-02-08

87. US-11240853-B2, System, Method And Apparatus For Sensor Virtualization In Mobile Devices, 2022-02-01

88. US-11238359-B2, Simplified Quantum Programming, 2022-02-01

89. US-11238043-B2, Automatic Quantum Searching Of Object Databases, 2022-02-01

90. US-11227045-B2, System, Method And Apparatus For Extracting Usage-Based Fine Grained Permissions, 2022-01-18

91. US-20220012390-A1, Incremental Generation Of Quantum Circuits, 2022-01-13

92. US-11222135-B2, User Device Privacy Protection, 2022-01-11

93. US-11194946-B2, Optimization Of Quantum Circuits, 2021-12-07

94. US-11194908-B2, Synthesizing Sanitization Code For Applications Based Upon Probabilistic Prediction Model, 2021-12-07

95. US-11184438-B2, Omnichannel Approach To Application Sharing Across Different Devices, 2021-11-23

96. US-11182523-B2, Incremental Generation Of Quantum Circuits, 2021-11-23

97. US-20210357229-A1, Systems And Methods For Optimized Quantum Searching, 2021-11-18

98. US-11176267-B2, Fine-Grained User Control Over Usages Of Sensitive System Resources Having Private Data With Applications In Privacy Enforcement, 2021-11-16

99. US-11163891-B2, Identifying Computer Program Security Access Control Violations Using Static Analysis, 2021-11-02

100. US-11138319-B2, Light-Weight Context Tracking And Repair For Preventing Integrity And Confidentiality Violations, 2021-10-05

101. US-11128706-B2, Omnichannel Approach To Application Sharing Across Different Devices, 2021-09-21

102. US-11128707-B2, Omnichannel Approach To Application Sharing Across Different Devices, 2021-09-21

103. US-20210247963-A1, Method And System For Verification Of Random Numbers, 2021-08-12

104. US-11074519-B2, Quantum Algorithm Concatenation, 2021-07-27

105. US-11048485-B2, User Interface Code Re-Use Based Upon Machine Learning Of Design Documents, 2021-06-29

106. US-11032306-B2, System, Method And Apparatus For Fully Precise Hybrid Security Verification Of Mobile Applications, 2021-06-08

107. US-20210157553-A1, Source Code Auto-Suggestion Based On Structural And Semantic Features, 2021-05-27

108. US-20210157877-A1, Iterative Energy-Scaled Variational Quantum Eigensolver, 2021-05-27

109. US-11017084-B2, Detection Of Malicious Code Fragments Via Data-Flow Isolation, 2021-05-25

110. US-20210150400-A1, Efficient Quadratic Ising Hamiltonian Generation With Qubit Reduction, 2021-05-20

111. US-20210118529-A1, Precision-Preserving Qubit Reduction Based On Spatial Symmetries In Fermionic Systems, 2021-04-22

112. US-10956580-B2, Identifying Computer Program Security Access Control Violations Using Static Analysis, 2021-03-23

113. US-10956562-B2, Developing Applications Using Precise Static Security Analysis, 2021-03-23

114. US-20210049482-A1, State Dependent Calibration Of Qubit Measurements, 2021-02-18

115. US-20210049498-A1, Quantum Reinforcement Learning Agent, 2021-02-18

116. US-10915659-B2, Privacy Detection Of A Mobile Application Program, 2021-02-09

117. US-10846401-B2, System, Method And Apparatus For Usable Code-Level Statistical Analysis With Applications In Malware Detection, 2020-11-24

118. US-10846080-B2, Cooperative Updating Of Software, 2020-11-24

119. US-10839312-B2, Warning Filter Based On Machine Learning, 2020-11-17

120. US-10838915-B2, Data-Centric Approach To Analysis, 2020-11-17

121. US-10831495-B2, Parallelization Of Numeric Optimizers, 2020-11-10

122. US-10831455-B2, Quantum Circuit Compilation With Quantum Libraries As A Service, 2020-11-10

123. US-10832173-B1, Cognitive Software Development, 2020-11-10

124. US-20200349309-A1, Incremental Generation Of Quantum Circuits, 2020-11-05

125. US-20200342344-A1, Quantum Circuit Optimization Using Machine Learning, 2020-10-29

126. US-20200342293-A1, Quantum Computational Method And Device, 2020-10-29

127. US-20200327438-A1, Adiabatic Progression With Intermediate Re-Optimization To Solve Hard Variational Quantum Problems In Quantum Computing, 2020-10-15

128. US-20200327439-A1, Adiabatic Progression With Intermediate Re-Optimization To Solve Hard Variational Quantum Problems In Quantum Computing, 2020-10-15

129. US-10803395-B2, Quantum Computations Of Classical Specifications, 2020-10-13

130. US-10803215-B2, Incremental Generation Of Quantum Circuits, 2020-10-13

131. US-20200311589-A1, Calculating Excited State Properties Of A Molecular System Using A Hybrid Classical-Quantum Computing System, 2020-10-01

132. US-20200302306-A1, Automatic Generation Of Ising Hamiltonians For Solving Optimization Problems In Quantum Computing, 2020-09-24

133. US-20200293935-A1, Parameter Extrapolation In Quantum Variational Circuits, 2020-09-17

134. US-10762063-B2, Cognitive Mobile Application Design Search Engine Including A Keyword Search, 2020-09-01

135. US-10754947-B2, System, Method And Apparatus For Usable Code-Level Statistical Analysis With Applications In Malware Detection, 2020-08-25

136. US-10754622-B2, Extracting Mobile Application Workflow From Design Files, 2020-08-25

137. US-10742666-B2, System And Method For Static Detection And Categorization Of Information-Flow Downgraders, 2020-08-11

138. US-10740071-B2, Predicting And Using Utility Of Script Execution In Functional Web Crawling And Other Crawling, 2020-08-11

139. US-10740659-B2, Fusing Sparse Kernels To Approximate A Full Kernel Of A Convolutional Neural Network, 2020-08-11

140. US-10726357-B2, Cross-Platform Program Analysis Using Machines Learning Based On Universal Features, 2020-07-28

141. US-20200233671-A1, Parallelization Of Numeric Optimizers, 2020-07-23

142. US-10721419-B2, Ortho-Selfie Distortion Correction Using Multiple Image Sensors To Synthesize A Virtual Image, 2020-07-21

143. US-10713055-B2, Parallelization Of Numeric Optimizers, 2020-07-14

144. US-20200218805-A1, Synthesizing Sanitization Code For Applications Based Upon Probabilistic Prediction Model, 2020-07-09

145. US-20200218518-A1, Quantum Circuit Compilation With Quantum Libraries As A Service, 2020-07-09

146. US-20200210787-A1, Automated Survey Results Generation From An Image, 2020-07-02

147. US-10699212-B2, Cross-Platform Program Analysis Using Machine Learning Based On Universal Features, 2020-06-30

148. US-10701099-B2, Providing Efficient Information Tracking With Dynamically Selected Precision, 2020-06-30

149. US-10698789-B1, Fuzz Testing For Quantum SDK, 2020-06-30

150. US-20200202009-A1, Identifying Computer Program Security Access Control Violations Using Static Analysis, 2020-06-25

151. US-20200202247-A1, Adaptive Quantum Circuit Construction For Multiple-Controlled-Not Gates, 2020-06-25

152. US-20200193319-A1, Quantum Computation Of Molecular Excited States In The Presence Of Hamiltonian Symmetries, 2020-06-18

153. US-20200192993-A1, Incremental Generation Of Quantum Circuits, 2020-06-18

154. US-20200183938-A1, Automatic Quantum Searching Of Object Databases, 2020-06-11

155. US-20200183814-A1, Fuzz Testing For Quantum Sdk, 2020-06-11

156. US-20200183664-A1, User Interface Code Re-Use Based Upon Machine Learning Of Design Documents, 2020-06-11

157. US-10678517-B1, User Interface Synthesis Based Upon Extracted Presentation Document Graphical Features, 2020-06-09

158. US-20200175200-A1, Privacy Detection Of A Mobile Application Program, 2020-06-04

159. US-20200174914-A1, System, Method And Recording Medium For Generating Mobile Test Sequences, 2020-06-04

160. US-10671517-B2, Generating Mobile Test Sequences, 2020-06-02

161. US-10649740-B2, Predicting And Using Utility Of Script Execution In Functional Web Crawling And Other Crawling, 2020-05-12

162. US-10650149-B2, Identifying Computer Program Security Access Control Violations Using Static Analysis, 2020-05-12

163. US-20200133676-A1, Parallelization Of Numeric Optimizers, 2020-04-30

164. US-10637480-B1, Multi-Control Quantum State Inversion Gate, 2020-04-28

165. US-20200128593-A1, System, Method And Apparatus For Sensor Virtualization In Mobile Devices, 2020-04-23

166. US-20200116784-A1, Symbolic Backend For Execution Of Quantum Programs, 2020-04-16

167. US-10621333-B2, Install-Time Security Analysis Of Mobile Applications, 2020-04-14

168. US-10621062-B2, Widget Provisioning Of User Experience Analytics And User Interface / Application Management, 2020-04-14

169. US-10614243-B2, Privacy Detection Of A Mobile Application Program, 2020-04-07

170. US-10614224-B2, Identifying Computer Program Security Access Control Violations Using Static Analysis, 2020-04-07

171. US-20200097859-A1, Quantum Algorithm Concatenation, 2020-03-26

172. US-10599399-B2, Mobile User Interface Design Testing Tool, 2020-03-24

173. US-20200082099-A1, Identifying Computer Program Security Access Control Violations Using Static Analysis, 2020-03-12

174. US-20200081995-A1, Data-Centric Approach To Analysis, 2020-03-12

175. US-20200082096-A1, Value Based Information Tracking For Security Enforcement, 2020-03-12

176. US-20200081721-A1, Bootstrapping A Variational Algorithm For Quantum Computing, 2020-03-12

177. US-20200081705-A1, Cooperative Updating Of Software, 2020-03-12

178. US-10585640-B2, Automated Voice Enablement Of Applications, 2020-03-10

179. US-20200074035-A1, Design Optimization Of Quantum Circuits, 2020-03-05

180. US-10565470-B2, System, Method And Recording Medium For User Interface (UI)-Level Clone Detection, 2020-02-18

181. US-20200042882-A1, Monte Carlo Markov Chain Based Quantum Program Optimization, 2020-02-06

182. US-10548172-B2, System, Method And Apparatus For Sensor Virtualization In Mobile Devices, 2020-01-28

183. US-10545848-B2, Boosting The Efficiency Of Static Program Analysis Using Configuration Tuning, 2020-01-28

184. US-10531293-B2, Social And Proximity Based Access Control For Mobile Applications, 2020-01-07

185. US-20190378047-A1, Quantum Computations Of Classical Specifications, 2019-12-12

186. US-10503929-B2, Visually Configurable Privacy Enforcement, 2019-12-10

187. US-20190361788-A1, Interactive Analysis Of A Security Specification, 2019-11-28

188. US-20190362095-A1, User Device Privacy Protection, 2019-11-28

189. US-10489127-B2, Mapping Of Software Code Via User Interface Summarization, 2019-11-26

190. US-10484868-B2, Configuring Privacy Policies By Formulating Questions And Evaluating Responses, 2019-11-19

191. US-10481865-B2, Automated Voice Enablement Of Applications, 2019-11-19

192. US-20190340093-A1, Widget Provisioning Of User Experience Analytics And User Interface / Application Management, 2019-11-07

193. US-20190318088-A1, System, Method And Apparatus For Usable Code-Level Statistical Analysis With Applications In Malware Detection, 2019-10-17

194. US-10417116-B2, System, Method, And Apparatus For Crowd-Sourced Gathering Of Application Execution Events For Automatic Application Testing And Replay, 2019-09-17

195. US-20190268413-A1, Omnichannel Approach To Application Sharing Across Different Devices, 2019-08-29

196. US-20190268414-A1, Omnichannel Approach To Application Sharing Across Different Devices, 2019-08-29

197. US-20190268415-A1, Omnichannel Approach To Application Sharing Across Different Devices, 2019-08-29

198. US-10387288-B2, Interactive Analysis Of A Security Specification, 2019-08-20

199. US-10372582-B2, Enhanced String Analysis That Improves Accuracy Of Static Analysis, 2019-08-06

200. US-20190220782-A1, Simplified Quantum Programming, 2019-07-18

201. US-20190187958-A1, Extracting Mobile Application Workflow From Design Files, 2019-06-20

202. US-20190188287-A1, Cognitive Mobile Application Design Search Engine, 2019-06-20

203. US-20190188526-A1, Fusing Sparse Kernels To Approximate A Full Kernel Of A Convolutional Neural Network, 2019-06-20

204. US-20190188117-A1, System, Method And Recording Medium For Generating Mobile Test Sequences, 2019-06-20

205. US-20190188559-A1, System, Method And Recording Medium For Applying Deep Learning To Mobile Application Testing, 2019-06-20

206. US-20190188529-A1, System, Method And Recording Medium For User Interface (Ui)-Level Clone Detection, 2019-06-20

207. US-10324820-B2, Providing Specialization For Static Program Analysis Using Coding Hints, 2019-06-18

208. US-20190166314-A1, Ortho-Selfie Distortion Correction Using Multiple Sources, 2019-05-30

209. US-20190156028-A1, Detection Of Malicious Code Fragments Via Data-Flow Isolation, 2019-05-23

210. US-10298678-B2, Omnichannel Approach To Application Sharing Across Different Devices, 2019-05-21

211. US-10296737-B2, Security Enforcement In The Presence Of Dynamic Code Loading, 2019-05-21

212. US-10289540-B2, Performing Entropy-Based Dataflow Analysis, 2019-05-14

213. US-20190129828-A1, Gathering Coverage Metrics For Static Program Analysis Tools, 2019-05-02

214. US-10275238-B2, Hybrid Program Analysis, 2019-04-30

215. US-20190121608-A1, Automated Voice Enablement Of Applications, 2019-04-25

216. US-20190121618-A1, Prospective Voice User Interface Modality Identification, 2019-04-25

217. US-20190121619-A1, Prospective Voice User Interface Modality Identification, 2019-04-25

218. US-20190121609-A1, Automated Voice Enablement Of Applications, 2019-04-25

219. US-20190121987-A1, Light-Weight Context Tracking And Repair For Preventing Integrity And Confidentiality Violations, 2019-04-25

220. US-10268350-B2, Automatically Capturing User Interactions And Evaluating User Interfaces In Software Programs Using Field Testing, 2019-04-23

221. US-10268457-B1, Prospective Voice User Interface Modality Identification, 2019-04-23

222. US-10268458-B1, Prospective Voice User Interface Modality Identification, 2019-04-23

223. US-20190114156-A1, Mapping Of Software Code Via User Interface Summarization, 2019-04-18

224. US-10248965-B2, Location Oriented Membership Code Device, 2019-04-02

225. US-10250642-B2, System, Method And Apparatus For Fine-Grained Privacy Specification And Verification, 2019-04-02

226. US-10248385-B1, Extracting Mobile Application Workflow From Design Files, 2019-04-02

227. US-10237734-B2, Social And Proximity Based Access Control For Mobile Applications, 2019-03-19

228. US-10228917-B2, Mapping Of Software Code Via User Interface Summarization, 2019-03-12

229. US-10222955-B2, Automatically Capturing User Interactions And Evaluating User Interfaces In Software Programs Using Field Testing, 2019-03-05

230. US-10223079-B2, Mapping Of Software Code Via User Interface Summarization, 2019-03-05

231. US-10218587-B2, Transparently Tracking Provenance Information In Distributed Data Systems, 2019-02-26

232. US-10218777-B2, System, Method And Apparatus For Ad-Hoc Utilization Of Available Resources Across Mobile Devices, 2019-02-26

233. US-10216954-B2, Privacy Detection Of A Mobile Application Program, 2019-02-26

234. US-10212054-B2, Transparently Tracking Provenance Information In Distributed Data Systems, 2019-02-19

235. US-20180365414-A1, Developing Applications Using Precise Static Security Analysis, 2018-12-20

236. US-20180357446-A1, Privacy Detection Of A Mobile Application Program, 2018-12-13

237. US-20180332637-A1, System, Method And Apparatus For Sensor Virtualization In Mobile Devices, 2018-11-15

238. US-20180329694-A1, Mapping Of Software Code Via User Interface Summarization, 2018-11-15

239. US-20180329695-A1, Mapping Of Software Code Via User Interface Summarization, 2018-11-15

240. US-20180330097-A1, Identifying Computer Program Security Access Control Violations Using Static Analysis, 2018-11-15

241. US-20180330101-A1, Identifying Computer Program Security Access Control Violations Using Static Analysis, 2018-11-15

242. US-10127689-B2, Mobile User Interface Design Testing Tool, 2018-11-13

243. US-10095490-B2, System, Method And Apparatus For Preventing Vulnerable Interleavings In Web Applications At Compile Time, 2018-10-09

244. US-20180286082-A1, Mobile User Interface Design Testing Tool, 2018-10-04

245. US-10080248-B2, System, Method And Apparatus For Sensor Virtualization In Mobile Devices, 2018-09-18

246. US-10073975-B2, Application Integrity Verification In Multi-Tier Architectures, 2018-09-11

247. US-20180239681-A1, Widget Provisioning Of User Experience Analytics And User Interface / Application Management, 2018-08-23

248. US-10055590-B2, Rule Matching In The Presence Of Languages With No Types Or As An Adjunct To Current Analyses For Security Vulnerability Analysis, 2018-08-21

249. US-20180206115-A1, Configuring Privacy Policies By Formulating Questions And Evaluating Responses, 2018-07-19

250. US-10015181-B2, Using Natural Language Processing For Detection Of Intended Or Unexpected Application Behavior, 2018-07-03

251. US-20180174330-A1, Mobile User Interface Design Testing Tool, 2018-06-21

252. US-9996324-B1, Cooperative Creation Of Dataflow Models Using Sparse Random Instrumentation, 2018-06-12

253. US-20180121657-A1, Security Risk Evaluation, 2018-05-03

254. US-9946629-B2, System, Method And Apparatus For Deriving Root Cause For Software Test Failure, 2018-04-17

255. US-20180101471-A1, Performing Entropy-Based Dataflow Analysis, 2018-04-12

256. US-20180101463-A1, Boosting The Efficiency Of Static Program Analysis Using Configuration Tuning, 2018-04-12

257. US-9940464-B2, Static Security Analysis Using A Hybrid Representation Of String Values, 2018-04-10

258. US-9940465-B2, Static Security Analysis Using A Hybrid Representation Of String Values, 2018-04-10

259. US-9940478-B2, Fine-Grained User Control Over Usages Of Sensitive System Resources Having Private Data With Applications In Privacy Enforcement, 2018-04-10

260. US-20180091541-A1, Providing Efficient Information Tracking With Dynamically Selected Precision, 2018-03-29

261. US-20180089439-A1, Detection Of Ipc-Based Mobile Vulnerabilities Due To Insufficient Caller Permissions, 2018-03-29

262. US-20180081789-A1, Providing Specialization For Static Program Analysis Using Coding Hints, 2018-03-22

263. US-9910833-B2, Automatically Rendering Web And/Or Hybrid Applications Natively In Parallel, 2018-03-06

264. US-20180060068-A1, Machine Learning To Facilitate Incremental Static Program Analysis, 2018-03-01

265. US-20180053016-A1, Visually Configurable Privacy Enforcement, 2018-02-22

266. US-9900340-B2, Testing Web Applications For Security Vulnerabilities With Metarequests, 2018-02-20

267. US-20180046810-A1, Application Integrity Verification In Multi-Tier Architectures, 2018-02-15

268. US-20180046934-A1, Warning Filter Based On Machine Learning, 2018-02-15

269. US-9892263-B2, System, Method And Apparatus To Visually Configure An Analysis Of A Program, 2018-02-13

270. US-20180039774-A1, Install-Time Security Analysis Of Mobile Applications, 2018-02-08

271. US-9888021-B2, Crowd Based Detection Of Device Compromise In Enterprise Setting, 2018-02-06

272. US-20180032424-A1, System, Method, And Apparatus For Crowd-Sourced Gathering Of Application Execution Events For Automatic Application Testing And Replay, 2018-02-01

273. US-20180035285-A1, Semantic Privacy Enforcement, 2018-02-01

274. US-20180034857-A1, System, Method And Apparatus For Fine-Grained Privacy Specification And Verification, 2018-02-01

275. US-20180032319-A1, System, Method And Apparatus For Preventing Vulnerable Interleavings In Web Applications At Compile Time, 2018-02-01

276. US-20180027019-A1, Privacy-Preserving User-Experience Monitoring, 2018-01-25

277. US-20180012140-A1, Cross-Platform Program Analysis Using Machine Learning Based On Universal Features, 2018-01-11

278. US-20180012142-A1, Cross-Platform Program Analysis Using Machines Learning Based On Universal Features, 2018-01-11

279. US-9858419-B2, System, Method, And Apparatus For Modular, String-Sensitive, Access Rights Analysis With Demand-Driven Precision, 2018-01-02

280. US-20170372095-A1, Privacy Detection Of A Mobile Application Program, 2017-12-28

281. US-20170372060-A1, System, Method And Apparatus For Extracting Usage-Based Fine Grained Permissions, 2017-12-28

282. US-20170374693-A1, System, Method And Apparatus For Sensor Virtualization In Mobile Devices, 2017-12-28

283. US-20170367086-A1, System, Method And Apparatus For Ad-Hoc Utilization Of Available Resources Across Mobile Devices, 2017-12-21

284. US-9836608-B2, System, Method And Apparatus For Simultaneous Definition And Enforcement Of Access-Control And Integrity Policies, 2017-12-05

285. US-9836193-B2, Automatically Capturing User Interactions And Evaluating User Interfaces In Software Programs Using Field Testing, 2017-12-05

286. US-20170344106-A1, Reducing Hazards During Mobile Device Use, 2017-11-30

287. US-20170344463-A1, System And Method For Bypassing Evasion Tests With Applications In Analysis And Monitoring Of Mobile Applications, 2017-11-30

288. US-20170344459-A1, System, Method And Apparatus For Deriving Root Cause For Software Test Failure, 2017-11-30

289. US-20170339175-A1, Using Natural Language Processing For Detection Of Intended Or Unexpected Application Behavior, 2017-11-23

290. US-9823998-B2, Trace Recovery Via Statistical Reasoning, 2017-11-21

291. US-20170300699-A1, System, Method And Apparatus To Visually Configure An Analysis Of A Program, 2017-10-19

292. US-9787798-B2, Generating Collapsed User Interface Interaction Sequence Controls In Mobile Applications, 2017-10-10

293. US-20170286726-A1, Location Oriented Membership Code Device, 2017-10-05

294. US-9747187-B2, Simulating Black Box Test Results Using Information From White Box Testing, 2017-08-29

295. US-9733927-B2, Detection Of Software Or Hardware Incompatibilities In Software Packages, 2017-08-15

296. US-9720798-B2, Simulating Black Box Test Results Using Information From White Box Testing, 2017-08-01

297. US-20170208087-A1, Testing Web Applications For Security Vulnerabilities With Metarequests, 2017-07-20

298. US-9705910-B2, Testing Web Applications For Security Vulnerabilities With Metarequests, 2017-07-11

299. US-9706009-B2, Generating Collapsed User Interface Interaction Sequence Controls In Mobile Applications, 2017-07-11

300. US-9703990-B2, Protecting Content Displayed On A Mobile Device, 2017-07-11

301. US-20170195358-A1, System, Method And Apparatus For Fully Precise Hybrid Security Verification Of Mobile Applications, 2017-07-06

302. US-9697108-B2, System, Method, And Apparatus For Automatic Recording And Replaying Of Application Executions, 2017-07-04

303. US-9697018-B2, Synthesizing Inputs To Preserve Functionality, 2017-07-04

304. US-9684803-B2, Protecting Content Displayed On A Mobile Device, 2017-06-20

305. US-9684804-B2, Protecting Content Displayed On A Mobile Device, 2017-06-20

306. US-9684788-B2, Self-Repair And Distributed-Repair Of Applications, 2017-06-20

307. US-20170168922-A1, Building Coverage Metrics And Testing Strategies For Mobile Testing Via View Enumeration, 2017-06-15

308. US-20170169212-A1, Security Enforcement In The Presence Of Dynamic Code Loading, 2017-06-15

309. US-9680859-B2, System, Method And Apparatus To Visually Configure An Analysis Of A Program, 2017-06-13

310. US-20170161176-A1, Trace Recovery Via Statistical Reasoning, 2017-06-08

311. US-20170154182-A1, System, Method And Apparatus For Usable Code-Level Statistical Analysis With Applications In Malware Detection, 2017-06-01

312. US-20170131999-A1, Detection Of Software Or Hardware Incompatibilities In Software Packages, 2017-05-11

313. US-9619222-B2, System, Method And Apparatus For Automatic Device Registration And Secure Application Activation, 2017-04-11

314. US-20170093899-A1, Crowd-Based Detection Of Device Compromise In Enterprise Setting, 2017-03-30

315. US-9607154-B2, System, Method And Apparatus For Simultaneous Definition And Enforcement Of Access-Control And Integrity Policies, 2017-03-28

316. US-20170039375-A1, System, Method And Apparatus For Simultaneous Definition And Enforcement Of Access-Control And Integrity Policies, 2017-02-09

317. US-9558014-B2, System, Method And Apparatus For Transparently Enabling Software Applications With Adaptive User Interfaces, 2017-01-31

318. US-20170019412-A1, Social And Proximity Based Access Control For Mobile Applications, 2017-01-19

319. US-20170019787-A1, Social And Proximity Based Access Control For Mobile Applications, 2017-01-19

320. US-20160378995-A1, Static Security Analysis Using A Hybrid Representation Of String Values, 2016-12-29

321. US-20160378987-A1, Self-Repair And Distributed-Repair Of Applications, 2016-12-29

322. US-9531600-B2, Automatic Extraction, Modeling, And Code Mapping Of Application User Interface Display Screens And Components, 2016-12-27

323. US-20160357947-A1, Protecting Content Displayed On A Mobile Device, 2016-12-08

324. US-20160357992-A1, Protecting Content Displayed On A Mobile Device, 2016-12-08

325. US-20160358014-A1, Protecting Content Displayed On A Mobile Device, 2016-12-08

326. US-20160350155-A1, Synthesizing Inputs To Preserve Functionality, 2016-12-01

327. US-20160344761-A1, System, Method And Apparatus To Visually Configure An Analysis Of A Program, 2016-11-24

328. US-20160335434-A1, Static Security Analysis Using A Hybrid Representation Of String Values, 2016-11-17

329. US-9485268-B2, System, Method And Apparatus To Visually Configure An Analysis Of A Program, 2016-11-01

330. US-9479512-B2, Social And Proximity Based Access Control For Mobile Applications, 2016-10-25

331. US-9471553-B2, Automatically Rendering Web Or Hybrid Applications Natively, 2016-10-18

332. US-9473507-B2, Social And Proximity Based Access Control For Mobile Applications, 2016-10-18

333. US-9459990-B2, Automatic And Transparent Application Logging, 2016-10-04

334. US-9460282-B2, Static Security Analysis Using A Hybrid Representation Of String Values, 2016-10-04

335. US-9459986-B2, Automatic Generation Of Analysis-Equivalent Application Constructs, 2016-10-04

336. US-9449190-B2, 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, 2016-09-20

337. US-9443102-B2, Protecting Content Displayed On A Mobile Device, 2016-09-13

338. US-20160246990-A1, Fine-Grained User Control Over Usages Of Sensitive System Resources Having Private Data With Applications In Privacy Enforcement, 2016-08-25

339. US-20160246992-A1, Fine-Grained User Control Over Usages Of Sensitive System Resources Having Private Data With Applications In Privacy Enforcement, 2016-08-25

340. US-9424423-B2, Static Security Analysis Using A Hybrid Representation Of String Values, 2016-08-23

341. US-20160234246-A1, Testing Web Applications For Security Vulnerabilities With Metarequests, 2016-08-11

342. US-9405916-B2, Automatic Correction Of Security Downgraders, 2016-08-02

343. US-20160210217-A1, Enhanced String Analysis That Improves Accuracy Of Static Analysis, 2016-07-21

344. US-20160210125-A1, Predicting And Using Utility Of Script Execution In Functional Web Crawling And Other Crawling, 2016-07-21

345. US-20160210361-A1, Predicting And Using Utility Of Script Execution In Functional Web Crawling And Other Crawling, 2016-07-21

346. US-20160210473-A1, Protecting Content Displayed On A Mobile Device, 2016-07-21

347. US-9396336-B2, Automatic Correction Of Security Downgraders, 2016-07-19

348. US-9384354-B2, Rule Matching In The Presence Of Languages With No Types Or As An Adjunct To Current Analyses For Security Vulnerability Analysis, 2016-07-05

349. US-20160188139-A1, Generating Collapsed User Interface Interaction Sequence Controls In Mobile Applications, 2016-06-30

350. US-20160188144-A1, Generating Collapsed User Interface Interaction Sequence Controls In Mobile Applications, 2016-06-30

351. US-9372779-B2, System, Method, Apparatus And Computer Program For Automatic Evaluation Of User Interfaces In Software Programs, 2016-06-21

352. US-9369349-B2, Automatic Extraction, Modeling, And Code Mapping Of Application User Interface Display Screens And Components, 2016-06-14

353. US-9363284-B2, Testing Web Applications For Security Vulnerabilities With Metarequests, 2016-06-07

354. US-20160156650-A1, System And Method For Static Detection And Categorization Of Information-Flow Downgraders, 2016-06-02

355. US-20160134494-A1, Transparently Tracking Provenance Information In Distributed Data Systems, 2016-05-12

356. US-9336120-B2, Enhanced String Analysis That Improves Accuracy Of Static Analysis, 2016-05-10

357. US-9338063-B2, Automatic Extraction, Modeling, And Code Mapping Of Application User Interface Display Screens And Components, 2016-05-10

358. US-20160119208-A1, Transparently Tracking Provenance Information In Distributed Data Systems, 2016-04-28

359. US-8990949-B2, Automatic Correction Of Security Downgraders, 2015-03-24

360. US-8984493-B2, Distributed Static Analysis Of Computer Software Applications, 2015-03-17

361. US-8984642-B2, Detecting Security Vulnerabilities In Web Applications, 2015-03-17

362. US-8984495-B2, Enhanced String Analysis That Improves Accuracy Of Static Analysis, 2015-03-17

363. US-20150067653-A1, Automatic Generation Of Analysis-Equivalent Application Constructs, 2015-03-05

364. US-20150067660-A1, Building Reusable Function Summaries For Frequently Visited Methods To Optimize Data-Flow Analysis, 2015-03-05

365. US-20150067834-A1, Building Reusable Function Summaries For Frequently Visited Methods To Optimize Data-Flow Analysis, 2015-03-05

366. US-20150067664-A1, System, Method And Apparatus For Transparently Enabling Software Applications With Adaptive User Interfaces, 2015-03-05

367. US-8972334-B2, Transparent Data Service Suitable For Modifying Data Storage Capabilities In Applications, 2015-03-03

368. US-20150052503-A1, Automatically Capturing User Interactions And Evaluating User Interfaces In Software Programs Using Field Testing, 2015-02-19

369. US-20150046909-A1, System, Method, And Apparatus For Automatic Recording And Replaying Of Application Executions, 2015-02-12

370. US-8955139-B2, Sound And Effective Data-Flow Analysis In The Presence Of Aliasing, 2015-02-10

371. US-8955058-B2, Automatically Generating Challenge Questions Inferred From User History Data For User Authentication, 2015-02-10

372. US-8949995-B2, Certifying Server Side Web Applications Against Security Vulnerabilities, 2015-02-03

373. US-8943599-B2, Certifying Server Side Web Applications Against Security Vulnerabilities, 2015-01-27

374. US-8935674-B2, Determining Correctness Conditions For Use In Static Analysis, 2015-01-13

375. US-8935680-B2, Differential Static Program Analysis, 2015-01-13

376. US-8930884-B2, Efficient Extraction Of Software Dependencies From Program Code, 2015-01-06

377. US-8931101-B2, Application-Level Anomaly Detection, 2015-01-06

378. US-8918886-B2, Training Classifiers For Program Analysis, 2014-12-23

379. US-20140373157-A1, After-The-Fact Configuration Of Static Analysis Tools Able To Reduce User Burden, 2014-12-18

380. US-20140373159-A1, After-The-Fact Configuration Of Static Analysis Tools Able To Reduce User Burden, 2014-12-18

381. US-8914890-B2, Determining The Vulnerability Of Computer Software Applications To Privilege-Escalation Attacks, 2014-12-16

382. US-20140366146-A1, Interactive Analysis Of A Security Specification, 2014-12-11

383. US-8910293-B2, Determining The Vulnerability Of Computer Software Applications To Privilege-Escalation Attacks, 2014-12-09

384. US-8904543-B2, Discovery Of Application Vulnerabilities Involving Multiple Execution Flows, 2014-12-02

385. US-20140349571-A1, Method, Apparatus And Computer Program Product Providing Performance And Energy Optimization For Mobile Computing, 2014-11-27

386. US-20140351310-A1, Method, Apparatus And Computer Program Product Providing Performance And Energy Optimization For Mobile Computing, 2014-11-27

387. US-8898188-B2, String Analysis Based On Three-Valued Logic, 2014-11-25

388. US-20140344938-A1, Progressive Static Security Analysis, 2014-11-20

389. US-20140344939-A1, Progressive Static Security Analysis, 2014-11-20

390. US-8881300-B2, Automated Detection Of Flaws And Incompatibility Problems In Information Flow Downgraders, 2014-11-04

391. US-8875297-B2, Interactive Analysis Of A Security Specification, 2014-10-28

392. US-20140317747-A1, Partitioning Of Program Analyses Into Sub-Analyses Using Dynamic Hints, 2014-10-23

393. US-20140317748-A1, Partitioning Of Program Analyses Into Sub-Analyses Using Dynamic Hints, 2014-10-23

394. US-8863292-B2, Interactive Analysis Of A Security Specification, 2014-10-14

395. US-8856764-B2, Distributed Static Analysis Of Computer Software Applications, 2014-10-07

396. US-20140298476-A1, System, Method, Apparatus And Computer Programs For Securely Using Public Services For Private Or Enterprise Purposes, 2014-10-02

397. US-20140298477-A1, System, Method, Apparatus And Computer Programs For Securely Using Public Services For Private Or Enterprise Purposes, 2014-10-02

398. US-8850405-B2, Generating Sound And Minimal Security Reports Based On Static Analysis Of A Program, 2014-09-30

399. US-8850589-B2, Training Classifiers For Program Analysis, 2014-09-30

400. US-8844046-B2, Method And Apparatus For Paralleling And Distributing Static Source Code Security Analysis Using Loose Synchronization, 2014-09-23

401. US-20140258992-A1, Scalable And Precise String Analysis Using Index-Sensitive Static String Abstractions, 2014-09-11

402. US-20140259174-A1, Scalable And Precise String Analysis Using Index-Sensitive Static String Abstractions, 2014-09-11

403. US-8819635-B2, Confidence-Based Static Analysis, 2014-08-26

404. US-20140237602-A1, Automatic Correction Of Security Downgraders, 2014-08-21

405. US-20140237605-A1, Automatic Correction Of Security Downgraders, 2014-08-21

406. US-20140237603-A1, Rule Matching In The Presence Of Languages With No Types Or As An Adjunct To Current Analyses For Security Vulnerability Analysis, 2014-08-21

407. US-20140237604-A1, Rule Matching In The Presence Of Languages With No Types Or As An Adjunct To Current Analyses For Security Vulnerability Analysis, 2014-08-21

408. US-20140229463-A1, Web Testing Tools System And Method, 2014-08-14

409. US-20140222994-A1, Transparently Tracking Provenance Information In Distributed Data Systems, 2014-08-07

410. US-20140223000-A1, Transparently Tracking Provenance Information In Distributed Data Systems, 2014-08-07

411. US-8799874-B2, Static Analysis Of Computer Software Applications, 2014-08-05

412. US-20140215343-A1, Automatic Extraction, Modeling, And Code Mapping Of Application User Interface Display Screens And Components, 2014-07-31

413. US-20140215344-A1, Automatic Extraction, Modeling, And Code Mapping Of Application User Interface Display Screens And Components, 2014-07-31

414. US-8793800-B2, Static Analysis For Verification Of Software Program Access To Secure Resources For Computer Systems, 2014-07-29

415. US-20140208428-A1, Mitigating Security Risks Via Code Movement, 2014-07-24

416. US-20140208430-A1, Mitigating Security Risks Via Code Movement, 2014-07-24

417. US-8789188-B2, Method And Apparatus For Automatic Determination Of Authorization Requirements While Editing Or Generating Code, 2014-07-22

418. US-20140189657-A1, Enhanced String Analysis That Improves Accuracy Of Static Analysis, 2014-07-03

419. US-20140189658-A1, Enhanced String Analysis That Improves Accuracy Of Static Analysis, 2014-07-03

420. US-20140189785-A1, Social And Proximity Based Access Control For Mobile Applications, 2014-07-03

421. US-20140189786-A1, Social And Proximity Based Access Control For Mobile Applications, 2014-07-03

422. US-8769696-B2, Automated Detection Of Flaws And Incompatibility Problems In Information Flow Downgraders, 2014-07-01

423. US-20140181023-A1, Transparent Data Service Suitable For Modifying Data Storage Capabilities In Applications, 2014-06-26

424. US-20140181025-A1, Transparent Data Service Suitable For Modifying Data Storage Capabilities In Applications, 2014-06-26

425. US-8756587-B2, Static Analysis Of Computer Software Applications, 2014-06-17

426. US-8751422-B2, Using A Heuristically-Generated Policy To Dynamically Select String Analysis Algorithms For Client Queries, 2014-06-10

427. US-20140157419-A1, Discovery Of Application Vulnerabilities Involving Multiple Execution Flows, 2014-06-05

428. US-20140157420-A1, Discovery Of Application Vulnerabilities Involving Multiple Execution Flows, 2014-06-05

429. US-8745578-B2, Eliminating False-Positive Reports Resulting From Static Analysis Of Computer Software, 2014-06-03

430. US-20140143880-A1, Global Variable Security Analysis, 2014-05-22

431. US-20140136945-A1, Automatically Rendering Web Or Hybrid Applications Natively, 2014-05-15

432. US-20140136954-A1, Automatically Rendering Web Or Hybrid Applications Natively, 2014-05-15

433. US-20140137203-A1, Automatically Generating Challenge Questions Inferred From User History Data For User Authentication, 2014-05-15

434. US-20140137219-A1, Automatically Generating Challenge Questions Inferred From User History Data For User Authentication, 2014-05-15

435. US-20140137239-A1, Application-Level Anomaly Detection, 2014-05-15

436. US-20140137246-A1, Application-Level Anomaly Detection, 2014-05-15

437. US-8726246-B2, Static Analysis Of Validator Routines, 2014-05-13

438. US-20140130015-A1, Hybrid Program Analysis, 2014-05-08

439. US-20140130019-A1, Hybrid Program Analysis, 2014-05-08

440. US-20140130153-A1, Sound And Effective Data-Flow Analysis In The Presence Of Aliasing, 2014-05-08

441. US-20140130154-A1, Sound And Effective Data-Flow Analysis In The Presence Of Aliasing, 2014-05-08

442. US-20140115563-A1, Differential Static Program Analysis, 2014-04-24

443. US-20140115564-A1, Differential Static Program Analysis, 2014-04-24

444. US-8701186-B2, Formal Analysis Of The Quality And Conformance Of Information Flow Downgraders, 2014-04-15

445. US-8695056-B2, Method For Information Tracking In Multiple Interdependent Dimensions, 2014-04-08

446. US-8695098-B2, Detecting Security Vulnerabilities In Web Applications, 2014-04-08

447. US-20140090064-A1, Training Classifiers For Program Analysis, 2014-03-27

448. US-20140090069-A1, Training Classifiers For Program Analysis, 2014-03-27

449. US-20140090065-A1, Method And Apparatus For Paralleling And Distributing Static Source Code Security Analysis Using Loose Synchronization, 2014-03-27

450. US-20140090068-A1, Method And Apparatus For Paralleling And Distributing Static Source Code Security Analysis Using Loose Synchronization, 2014-03-27

451. US-8683599-B2, Static Analysis For Verification Of Software Program Access To Secure Resources For Computer Systems, 2014-03-25

452. US-20140082734-A1, Certifying Server Side Web Applications Against Security Vulnerabilities, 2014-03-20

453. US-20140082736-A1, Certifying Server Side Web Applications Against Security Vulnerabilities, 2014-03-20

454. US-20140075561-A1, Static Security Analysis Using A Hybrid Representation Of String Values, 2014-03-13

455. US-20140075562-A1, Static Security Analysis Using A Hybrid Representation Of String Values, 2014-03-13

456. US-8671284-B1, Security Model For Actor-Based Languages And Apparatus, Methods, And Computer Programming Products Using Same, 2014-03-11

457. US-8667584-B2, Formal Analysis Of The Quality And Conformance Of Information Flow Downgraders, 2014-03-04

458. US-8661264-B1, Security Model For Actor-Based Languages And Apparatus, Methods, And Computer Programming Products Using Same, 2014-02-25

459. US-20140222994-A1, Transparently Tracking Provenance Information In Distributed Data Systems, 2014-08-07

460. US-20140223000-A1, Transparently Tracking Provenance Information In Distributed Data Systems, 2014-08-07

461. US-8799874-B2, Static Analysis Of Computer Software Applications, 2014-08-05

462. US-20140215343-A1, Automatic Extraction, Modeling, And Code Mapping Of Application User Interface Display Screens And Components, 2014-07-31

463. US-20140215344-A1, Automatic Extraction, Modeling, And Code Mapping Of Application User Interface Display Screens And Components, 2014-07-31

464. US-8793800-B2, Static Analysis For Verification Of Software Program Access To Secure Resources For Computer Systems, 2014-07-29

465. US-20140208428-A1, Mitigating Security Risks Via Code Movement, 2014-07-24

466. US-20140208430-A1, Mitigating Security Risks Via Code Movement, 2014-07-24

467. US-8789188-B2, Method And Apparatus For Automatic Determination Of Authorization Requirements While Editing Or Generating Code, 2014-07-22

468. US-20140189657-A1, Enhanced String Analysis That Improves Accuracy Of Static Analysis, 2014-07-03

469. US-20140189658-A1, Enhanced String Analysis That Improves Accuracy Of Static Analysis, 2014-07-03

470. US-20140189785-A1, Social And Proximity Based Access Control For Mobile Applications, 2014-07-03

471. US-20140189786-A1, Social And Proximity Based Access Control For Mobile Applications, 2014-07-03

472. US-8769696-B2, Automated Detection Of Flaws And Incompatibility Problems In Information Flow Downgraders, 2014-07-01

473. US-20140181023-A1, Transparent Data Service Suitable For Modifying Data Storage Capabilities In Applications, 2014-06-26

474. US-20140181025-A1, Transparent Data Service Suitable For Modifying Data Storage Capabilities In Applications, 2014-06-26

475. US-8756587-B2, Static Analysis Of Computer Software Applications, 2014-06-17

476. US-8751422-B2, Using A Heuristically-Generated Policy To Dynamically Select String Analysis Algorithms For Client Queries, 2014-06-10

477. US-20140157419-A1, Discovery Of Application Vulnerabilities Involving Multiple Execution Flows, 2014-06-05

478. US-20140157420-A1, Discovery Of Application Vulnerabilities Involving Multiple Execution Flows, 2014-06-05

479. US-8745578-B2, Eliminating False-Positive Reports Resulting From Static Analysis Of Computer Software, 2014-06-03

480. US-20140143880-A1, Global Variable Security Analysis, 2014-05-22

481. US-20140136945-A1, Automatically Rendering Web Or Hybrid Applications Natively, 2014-05-15

482. US-20140136954-A1, Automatically Rendering Web Or Hybrid Applications Natively, 2014-05-15

483. US-20140137203-A1, Automatically Generating Challenge Questions Inferred From User History Data For User Authentication, 2014-05-15

484. US-20140137219-A1, Automatically Generating Challenge Questions Inferred From User History Data For User Authentication, 2014-05-15

485. US-20140137239-A1, Application-Level Anomaly Detection, 2014-05-15

486. US-20140137246-A1, Application-Level Anomaly Detection, 2014-05-15

487. US-8726246-B2, Static Analysis Of Validator Routines, 2014-05-13

488. US-20140130015-A1, Hybrid Program Analysis, 2014-05-08

489. US-20140130019-A1, Hybrid Program Analysis, 2014-05-08

490. US-20140130153-A1, Sound And Effective Data-Flow Analysis In The Presence Of Aliasing, 2014-05-08

491. US-20140130154-A1, Sound And Effective Data-Flow Analysis In The Presence Of Aliasing, 2014-05-08

492. US-20140115563-A1, Differential Static Program Analysis, 2014-04-24

493. US-20140115564-A1, Differential Static Program Analysis, 2014-04-24

494. US-8701186-B2, Formal Analysis Of The Quality And Conformance Of Information Flow Downgraders, 2014-04-15

495. US-8695056-B2, Method For Information Tracking In Multiple Interdependent Dimensions, 2014-04-08

496. US-8695098-B2, Detecting Security Vulnerabilities In Web Applications, 2014-04-08

497. US-20140090064-A1, Training Classifiers For Program Analysis, 2014-03-27

498. US-20140090069-A1, Training Classifiers For Program Analysis, 2014-03-27

499. US-20140090065-A1, Method And Apparatus For Paralleling And Distributing Static Source Code Security Analysis Using Loose Synchronization, 2014-03-27

500. US-20140090068-A1, Method And Apparatus For Paralleling And Distributing Static Source Code Security Analysis Using Loose Synchronization, 2014-03-27

501. US-8683599-B2, Static Analysis For Verification Of Software Program Access To Secure Resources For Computer Systems, 2014-03-25

502. US-20140082734-A1, Certifying Server Side Web Applications Against Security Vulnerabilities, 2014-03-20

503. US-20140082736-A1, Certifying Server Side Web Applications Against Security Vulnerabilities, 2014-03-20

504. US-20140075561-A1, Static Security Analysis Using A Hybrid Representation Of String Values, 2014-03-13

505. US-20140075562-A1, Static Security Analysis Using A Hybrid Representation Of String Values, 2014-03-13

506. US-8671284-B1, Security Model For Actor-Based Languages And Apparatus, Methods, And Computer Programming Products Using Same, 2014-03-11

507. US-8667584-B2, Formal Analysis Of The Quality And Conformance Of Information Flow Downgraders, 2014-03-04

508. US-8661264-B1, Security Model For Actor-Based Languages And Apparatus, Methods, And Computer Programming Products Using Same, 2014-02-25

509. US-20140053140-A1, Static Analysis Of Validator Routines, 2014-02-20

510. US-20140052997-A1, Security Model For Actor-Based Languages And Apparatus, Methods, And Computer Programming Products Using Same, 2014-02-20

511. US-20140052998-A1, Security Model For Actor-Based Languages And Apparatus, Methods, And Computer Programming Products Using Same, 2014-02-20

512. US-20140053028-A1, Anomaly Detection At The Level Of Run Time Data Structures, 2014-02-20

513. US-20140053029-A1, Anomaly Detection At The Level Of Run Time Data Structures, 2014-02-20

514. US-20140053130-A1, Determining Correctness Conditions For Use In Static Analysis, 2014-02-20

515. US-20140053136-A1, Determining Correctness Conditions For Use In Static Analysis, 2014-02-20

516. US-8656496-B2, Global Variable Security Analysis, 2014-02-18

517. US-8650546-B2, Static Analysis Based On Observed String Values During Execution Of A Computer-Based Software Application, 2014-02-11

518. US-8646088-B2, Runtime Enforcement Of Security Checks, 2014-02-04

519. US-8646087-B2, Answering Security Queries Statically Based On Dynamically-Determined Information, 2014-02-04

520. US-20140026185-A1, System, Method, And Apparatus For Modular, String-Sensitive, Access Rights Analysis With Demand-Driven Precision, 2014-01-23

521. US-8635602-B2, Verification Of Information-Flow Downgraders, 2014-01-21

522. US-8627465-B2, Automatic Inference Of Whitelist-Based Validation As Part Of Static Analysis For Security, 2014-01-07

523. US-20130332990-A1, Enforcement Of Data Privacy To Maintain Obfuscation Of Certain Data, 2013-12-12

524. US-8584246-B2, Eliminating False Reports Of Security Vulnerabilities When Testing Computer Software, 2013-11-12

525. US-20130290937-A1, Efficient Extraction Of Software Dependencies From Program Code, 2013-10-31

526. US-20130290786-A1, Automated Testing Of Applications With Scripting Code, 2013-10-31

527. US-8572674-B2, System, Method, And Apparatus For Modular, String-Sensitive, Access Rights Analysis With Demand-Driven Precision, 2013-10-29

528. US-8572727-B2, System, Method And Apparatus For Simultaneous Definition And Enforcement Of Access-Control And Integrity Policies, 2013-10-29

529. US-8572747-B2, Policy-Driven Detection And Verification Of Methods Such As Sanitizers And Validators, 2013-10-29

530. US-8572748-B2, Label-Based Taint Analysis, 2013-10-29

531. US-8561035-B2, Method And System To Discover Possible Program Variable Values By Connecting Program Value Extraction With External Data Sources, 2013-10-15

532. US-20130262617-A1, Automatic And Transparent Application Logging, 2013-10-03

533. US-8544104-B2, Enforcement Of Data Privacy To Maintain Obfuscation Of Certain Data, 2013-09-24

534. US-20130239097-A1, Distributed Static Analysis Of Computer Software Applications, 2013-09-12

535. US-8533694-B2, Identification Of Read/Write Chains During Static Analysis Of Computer Software, 2013-09-10

536. US-8533659-B2, Efficient Extraction Of Software Dependencies From Program Code, 2013-09-10

537. US-8528095-B2, Injection Context Based Static Analysis Of Computer Software Applications, 2013-09-03

538. US-8516449-B2, Detecting And Localizing Security Vulnerabilities In Client-Server Application, 2013-08-20

539. US-20130205391-A1, Formal Analysis Of The Quality And Conformance Of Information Flow Downgraders, 2013-08-08

540. US-20130198724-A1, Confidence-Based Static Analysis, 2013-08-01

541. US-20130191691-A1, Importance-Based Call Graph Construction, 2013-07-25

542. US-8490057-B2, Confidence-Based Static Analysis, 2013-07-16

543. US-20130179979-A1, Detecting Security Vulnerabilities In Web Applications, 2013-07-11

544. US-20130179978-A1, Automated Detection Of Flaws And Incompatibility Problems In Information Flow Downgraders, 2013-07-11

545. US-8473899-B2, Automatic Optimization Of String Allocations In A Computer Program, 2013-06-25

546. US-8468605-B2, Identifying Security Vulnerability In Computer Software, 2013-06-18

547. US-20130152204-A1, Interactive Analysis Of A Security Specification, 2013-06-13

548. US-20130152205-A1, Interactive Analysis Of A Security Specification, 2013-06-13

549. US-20130145215-A1, Eliminating False-Positive Reports Resulting From Static Analysis Of Computer Software, 2013-06-06

550. US-8453125-B2, Generating Inputs For Client-Server Programs For Fault-Detection And Localization, 2013-05-28

551. US-20130133043-A1, Authentication In Virtual Private Networks, 2013-05-23

552. US-8434070-B2, Generating Specifications Of Client-Server Applications For Static Analysis, 2013-04-30

553. US-20130091079-A1, Using A Heuristically-Generated Policy To Dynamically Select String Analysis Algorithms For Client Queries, 2013-04-11

554. US-20130091082-A1, Using A Heuristically-Generated Policy To Dynamically Select String Analysis Algorithms For Client Queries, 2013-04-11

555. US-20130086561-A1, Static Analysis Of Computer Software Applications, 2013-04-04

556. US-20130086562-A1, Static Analysis Of Computer Software Applications, 2013-04-04

557. US-20130086686-A1, Automated Detection Of Flaws And Incompatibility Problems In Information Flow Downgraders, 2013-04-04

558. US-8387111-B2, Type Independent Permission Based Access Control, 2013-02-26

559. US-8387018-B2, Fault Localization Using Directed Test Generation, 2013-02-26

560. US-8381242-B2, Static Analysis For Verification Of Software Program Access To Secure Resources For Computer Systems, 2013-02-19

561. US-8381199-B2, Modular And/Or Demand-Driven String Analysis Of A Computer Program, 2013-02-19

562. US-8375371-B2, Importance-Based Call Graph Construction, 2013-02-12

563. US-20130031622-A1, Static Analysis For Verification Of Software Program Access To Secure Resources For Computer Systems, 2013-01-31

564. US-8365280-B2, System, Method, And Program For Determining Validity Of String, 2013-01-29

565. US-8365281-B2, Determining Whether Method Of Computer Program Is A Validator, 2013-01-29

566. US-20130007529-A1, Static Analysis Based On Observed String Values During Execution Of A Computer-Based Software Application, 2013-01-03

567. US-20130007886-A1, Detecting Security Vulnerabilities In Web Applications, 2013-01-03

568. US-20120331547-A1, Static Analysis For Verification Of Software Program Access To Secure Resources For Computer Systems, 2012-12-27

569. US-20120331445-A1, Unchanged Object Management, 2012-12-27

570. US-20120317143-A1, String Analysis Based On Three-Valued Logic, 2012-12-13

571. US-8332939-B2, System And Method For The Automatic Identification Of Subject-Executed Code And Subject-Granted Access Rights, 2012-12-11

572. US-20120297372-A1, Static Analysis Of Validator Routines, 2012-11-22

573. US-20120272322-A1, Determining The Vulnerability Of Computer Software Applications To Privilege-Escalation Attacks, 2012-10-25

574. US-8296722-B2, Crawling Of Object Model Using Transformation Graph, 2012-10-23

575. US-20120266247-A1, Automatic Inference Of Whitelist-Based Validation As Part Of Static Analysis For Security, 2012-10-18

576. US-20120254839-A1, Simulating Black Box Test Results Using Information From White Box Testing, 2012-10-04

577. US-20120215757-A1, Web Crawling Using Static Analysis, 2012-08-23

578. US-20120216177-A1, Generating Sound And Minimal Security Reports Based On Static Analysis Of A Program, 2012-08-23

579. US-20120210432-A1, Label-Based Taint Analysis, 2012-08-16

580. US-20120198557-A1, Determining The Vulnerability Of Computer Software Applications To Privilege-Escalation Attacks, 2012-08-02

581. US-20120192161-A1, Distributed Static Analysis Of Computer Software Applications, 2012-07-26

582. US-8230477-B2, System And Method For The Automatic Evaluation Of Existing Security Policies And Automatic Creation Of New Security Policies, 2012-07-24

583. US-20120174229-A1, Runtime Enforcement Of Security Checks, 2012-07-05

584. US-20120159619-A1, Formal Analysis Of The Quality And Conformance Of Information Flow Downgraders, 2012-06-21

585. US-20120151454-A1, Generating Inputs For Client-Server Programs For Fault Detection And Localization, 2012-06-14

586. US-20120144491-A1, Answering Security Queries Statically Based On Dynamically-Determined Information, 2012-06-07

587. US-20120131668-A1, Policy-Driven Detection And Verification Of Methods Such As Sanitizers And Validators, 2012-05-24

588. US-20120131669-A1, Determining Whether Method Of Computer Program Is A Validator, 2012-05-24

589. US-20120131670-A1, Global Variable Security Analysis, 2012-05-24

590. US-20120110551-A1, Simulating Black Box Test Results Using Information From White Box Testing, 2012-05-03

591. US-20120102471-A1, Generating Specifications Of Client-Server Applications For Static Analysis, 2012-04-26

592. US-20120102474-A1, Static Analysis Of Client-Server Applications Using Framework Independent Specifications, 2012-04-26

593. US-20120096440-A1, Modular And/Or Demand-Driven String Analysis Of A Computer Program, 2012-04-19

594. US-20120089962-A1, Unchanged Object Management, 2012-04-12

595. US-20120084755-A1, Confidence-Based Static Analysis, 2012-04-05

596. US-20120054552-A1, Fault Localization Using Directed Test Generation, 2012-03-01

597. US-20120054553-A1, Fault Localization Using Condition Modeling And Return Value Modeling, 2012-03-01

598. US-20120054724-A1, Incremental Static Analysis, 2012-03-01

599. US-20120023486-A1, Verification Of Information-Flow Downgraders, 2012-01-26

600. US-20120023553-A1, Static Analysis For Verification Of Software Program Access To Secure Resources For Computer Systems, 2012-01-26

601. US-20110321016-A1, Injection Context Based Static Analysis Of Computer Software Applications, 2011-12-29

602. US-20110277037-A1, Enforcement Of Data Privacy To Maintain Obfuscation Of Certain Data, 2011-11-10

603. US-8006233-B2, System And Method For The Automatic Verification Of Privilege-Asserting And Subject-Executed Code, 2011-08-23

604. US-20110145785-A1, Automatic Optimization Of String Allocations In A Computer Program, 2011-06-16

605. US-20110131656-A1, Identifying Security Vulnerability In Computer Software, 2011-06-02

606. US-20110126282-A1, System, Method And Apparatus For Simultaneous Definition And Enforcement Of Access-Control And Integrity Policies, 2011-05-26

607. US-20110087892-A1, Eliminating False Reports Of Security Vulnerabilities When Testing Computer Software, 2011-04-14

608. US-20110088023-A1, System And Method For Static Detection And Categorization Of Information-Flow Downgraders, 2011-04-14

609. US-20110055806-A1, Method And System To Discover Possible Program Variable Values By Connecting Program Value Extraction With External Data Sources, 2011-03-03

610. US-20110029946-A1, Efficient Extraction Of Software Dependencies From Program Code, 2011-02-03

611. US-20110030061-A1, Detecting And Localizing Security Vulnerabilities In Client-Server Application, 2011-02-03

612. US-7877812-B2, Method, System And Computer Program Product For Enforcing Privacy Policies, 2011-01-25

613. US-20100333201-A1, System, Method, And Program For Determining Validity Of String, 2010-12-30

614. US-20100284527-A1, Importance-Based Call Graph Construction, 2010-11-11

615. US-7827613-B2, System And Method For Supporting Digital Rights Management In An Enhanced Java.TM. 2 Runtime Environment, 2010-11-02

616. US-7810135-B2, Apparatus For Adopting Authorizations, 2010-10-05

617. US-20100088668-A1, Crawling Of Object Model Using Transformation Graph, 2010-04-08

618. US-20100043048-A1, System, Method, And Apparatus For Modular, String-Sensitive, Access Rights Analysis With Demand-Driven Precision, 2010-02-18

619. US-20090300266-A1, Identification Of Read/Write Chains During Static Analysis Of Computer Software, 2009-12-03

620. US-20090193492-A1, Method For Information Tracking In Multiple Interdependent Dimensions, 2009-07-30

621. US-20090094667-A1, Method And Apparatus For Automatic Determination Of Authorization Requirements While Editing Or Generating Code, 2009-04-09

622. US-7496757-B2, Software Verification System, Method And Computer Program Element, 2009-02-24

623. US-20090007223-A1, Method And System For Run-Time Dynamic And Interactive Identification Of Software Authorization Requirements And Privileged Code Locations, And For Validation Of Other Software Program Analysis Results, 2009-01-01

624. US-20080201688-A1, System And Method For The Automatic Verification Of Privilege-Asserting And Subject-Executed Code, 2008-08-21

625. US-20080201693-A1, System And Method For The Automatic Identification Of Subject-Executed Code And Subject-Granted Access Rights, 2008-08-21

626. US-20080201760-A1, System And Method For The Automatic Evaluation Of Existing Security Policies And Automatic Creation Of New Security Policies, 2008-08-21

627. US-20080168527-A1, Method, System And Computer Program Product For Enforcing Privacy Policies, 2008-07-10

628. US-20080104698-A1, Method And Apparatus For Adopting Authorizations, 2008-05-01

629. US-7343620-B2, Method And Apparatus For Adopting Authorizations, 2008-03-11

630. US-20080060083-A1, System And Method For Supporting Digital Rights Management In An Enhanced Javatm 2 Runtime Environment, 2008-03-06

631. US-7308717-B2, System And Method For Supporting Digital Rights Management In An Enhanced Java.TM. 2 Runtime Environment, 2007-12-11

632. US-20070261124-A1, Method And System For Run-Time Dynamic And Interactive Identification Of Software Authorization Requirements And Privileged Code Locations, And For Validation Of Other Software Program Analysis Results, 2007-11-08

633. US-7237236-B2, Method And Apparatus For Automatically Determining Optimum Placement Of Privileged Code Locations In Existing Code, 2007-06-26

634. US-7219341-B2, Code Analysis For Selective Runtime Data Processing, 2007-05-15

635. US-7171558-B1, Transparent Digital Rights Management For Extendible Content Viewers, 2007-01-30

636. US-7076804-B2, Automated Program Resource Identification And Association, 2006-07-11

637. US-20050262487-A1, System, Apparatus, And Method For Identifying Authorization Requirements In Component-Based Systems, 2005-11-24

638. US-20050039158-A1, Method And Apparatus For Adopting Authorizations, 2005-02-17

639. US-20050015752-A1, Static Analysis Based Error Reduction For Software Applications, 2005-01-20

640. US-20040088687-A1, Code Analysis For Selective Runtime Data Processing, 2004-05-06

641. US-20040040017-A1, Method And Apparatus For Automatically Determining Optimum Placement Of Privileged Code Locations In Existing Code, 2004-02-26

642. US-20030135746-A1, Software Verification System, Method And Computer Program Element, 2003-07-17

643. US-20030084324-A1, Method And Apparatus For Type Independent Permission Based Access Control, 2003-05-01

644. US-20030084325-A1, Method And Apparatus For Implementing Permission Based Access Control Through Permission Type Inheritance, 2003-05-01

645. US-20020184486-A1, Automated Program Resource Identification And Association, 2002-12-05

646. US-20020161996-A1, System And Method For Supporting Digital Rights Management In An Enhanced Java™2 Runtime Environment, 2002-10-31