Michael Tautschnig

Person

London, GB

People

Patents Grantslast 30 patents

Information Patent Grant
Automated threat modeling using machine-readable threat models
- Patent number 11,750,642
- Issue date Sep 5, 2023
- Amazon Technologies, Inc.
- Michael Tautschnig
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Static code analysis tool and configuration selection via codebase...
- Patent number 11,494,285
- Issue date Nov 8, 2022
- Amazon Technologies, Inc.
- Norbert Manthey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated threat modeling using machine-readable threat models
- Patent number 11,418,532
- Issue date Aug 16, 2022
- Amazon Technologies, Inc.
- Michael Tautschnig
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automated software verification service
- Patent number 11,232,015
- Issue date Jan 25, 2022
- Amazon Technologies, Inc.
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Refinement of static analysis of program code
- Patent number 11,200,144
- Issue date Dec 14, 2021
- Amazon Technologies, Inc.
- John Cook
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Targeted security monitoring using semantic behavioral change analysis
- Patent number 10,769,250
- Issue date Sep 8, 2020
- Amazon Technologies, Inc.
- Michael Tautschnig
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated software verification service
- Patent number 10,664,379
- Issue date May 26, 2020
- Amazon Technologies, Inc.
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated threat modeling using machine-readable threat models
- Patent number 10,652,266
- Issue date May 12, 2020
- Amazon Technologies, Inc.
- Michael Tautschnig
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Optimizing API implementer programs using fine-grained code analysis
- Patent number 9,904,527
- Issue date Feb 27, 2018
- Amazon Technologies, Inc.
- Konrad Jan Miller
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATED SOFTWARE VERIFICATION SERVICE
- Publication number 20200257611
- Publication date Aug 13, 2020
- AMAZON TECHNOLOGIES, INC.
- Juan Rodriguez HORTALA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED SOFTWARE VERIFICATION SERVICE
- Publication number 20200073783
- Publication date Mar 5, 2020
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING

Michael Tautschnig

Person

Patents Grantslast 30 patents

Automated threat modeling using machine-readable threat models

Static code analysis tool and configuration selection via codebase...

Automated threat modeling using machine-readable threat models

Automated software verification service

Refinement of static analysis of program code

Targeted security monitoring using semantic behavioral change analysis

Automated software verification service

Automated threat modeling using machine-readable threat models

Optimizing API implementer programs using fine-grained code analysis

Patents Applicationslast 30 patents

AUTOMATED SOFTWARE VERIFICATION SERVICE

AUTOMATED SOFTWARE VERIFICATION SERVICE