Dejan Jovanovic

Follow

Person

Brooklyn, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Intrusion detection via semantic fuzzing and message provenance
- Patent number 11,689,544
- Issue date Jun 27, 2023
- SRI International
- Gabriela Ciocarlie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Artificial intelligence for generating structured descriptions of s...
- Patent number 10,825,227
- Issue date Nov 3, 2020
- SRI International
- Mohamed R. Amer
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SHADOW SATISFIABILITY MODULO THEORIES SOLVER SYSTEMS
- Publication number 20240330709
- Publication date Oct 3, 2024
- AMAZON TECHNOLOGIES, INC.
- Alexandre DAVID
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MIDDLEWARE TO AUTOMATICALLY VERIFY SMART CONTRACTS ON BLOCKCHAINS
- Publication number 20200201838
- Publication date Jun 25, 2020
- SRI International
- Gabriela Ciocarlie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ARTIFICIAL INTELLIGENCE FOR GENERATING STRUCTURED DESCRIPTIONS OF S...
- Publication number 20190304156
- Publication date Oct 3, 2019
- SRI International
- Mohamed R. Amer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTRUSION DETECTION VIA SEMANTIC FUZZING AND MESSAGE PROVENANCE
- Publication number 20190089722
- Publication date Mar 21, 2019
- SRI International
- Gabriela Ciocarlie
- G06 - COMPUTING CALCULATING COUNTING