Cedric Fournet

Person

Cambridge, GB

People

Patents Grantslast 30 patents

Information Patent Grant
Transport layer security computer devices and methods
- Patent number 12,212,601
- Issue date Jan 28, 2025
- Microsoft Technology Licensing, LLC
- Kapil Vaswani
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Code transparency system operation
- Patent number 12,190,316
- Issue date Jan 7, 2025
- Microsoft Technology Licensing, LLC
- Mark Eugene Russinovich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measured restart of microcontrollers
- Patent number 12,164,640
- Issue date Dec 10, 2024
- Microsoft Technology Licensing, LLC
- Stavros Volos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bootstrapping a code transparency system
- Patent number 12,143,499
- Issue date Nov 12, 2024
- Microsoft Technology Licensing, LLC
- Mark Eugene Russinovich
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Multiple key management
- Patent number 12,141,330
- Issue date Nov 12, 2024
- GRAPHCORE LTD.
- Daniel John Pelham Wilkinson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for confidential computing with capabilities
- Patent number 12,061,541
- Issue date Aug 13, 2024
- Microsoft Technology Licensing, LLC
- David T. Chisnall
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Confidential computing mechanism
- Patent number 12,013,794
- Issue date Jun 18, 2024
- Microsoft Technology Licensing, LLC
- David T. Chisnall
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Peripheral device
- Patent number 11,921,911
- Issue date Mar 5, 2024
- Microsoft Technology Licensing, LLC
- Stavros Volos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measured restart of microcontrollers
- Patent number 11,853,429
- Issue date Dec 26, 2023
- Microsoft Technology Licensing, LLC
- Stavros Volos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Execution environment and gatekeeper arrangement
- Patent number 11,526,613
- Issue date Dec 13, 2022
- Microsoft Technology Licensing, LLC
- David Thomas Chisnall
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Peripheral device
- Patent number 11,126,757
- Issue date Sep 21, 2021
- Microsoft Technology Licensing, LLC
- Stavros Volos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data center privacy
- Patent number 10,068,097
- Issue date Sep 4, 2018
- Microsoft Technology Licensing, LLC
- Olga Ohrimenko
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automatically securing distributed applications
- Patent number 9,917,822
- Issue date Mar 13, 2018
- Microsoft Technology Licensing, LLC
- Benjamin Livshits
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Trusted execution within a distributed computing system
- Patent number 9,792,427
- Issue date Oct 17, 2017
- Microsoft Technology Licensing, LLC
- Manuel Costa
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Security language translations with logic resolution
- Patent number 9,282,121
- Issue date Mar 8, 2016
- Microsoft Technology Licensing, LLC
- Moritz Y. Becker
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Security language expressions for logic resolution
- Patent number 8,938,783
- Issue date Jan 20, 2015
- Microsoft Corporation
- Moritz Y. Becker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for network topology discovery
- Patent number 8,724,512
- Issue date May 13, 2014
- Microsoft Corporation
- Richard Black
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Enhanced security and performance of web applications
- Patent number 8,677,141
- Issue date Mar 18, 2014
- Microsoft Corporation
- Ulfar Erlingsson
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Security language translations with logic resolution
- Patent number 8,656,503
- Issue date Feb 18, 2014
- Microsoft Corporation
- Moritz Y. Becker
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Security authorization queries
- Patent number 8,584,230
- Issue date Nov 12, 2013
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling the delegation of rights
- Patent number 8,201,215
- Issue date Jun 12, 2012
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security assertion revocation
- Patent number 8,095,969
- Issue date Jan 10, 2012
- Microsoft Corporation
- Blair B. Dillaway
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Security authorization queries
- Patent number 8,060,931
- Issue date Nov 15, 2011
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Analysis of distributed software systems via specification substitu...
- Patent number 7,797,669
- Issue date Sep 14, 2010
- Microsoft Corporation
- Niels Jakob Rehof
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for network topology discovery
- Patent number 7,567,523
- Issue date Jul 28, 2009
- Microsoft Corporation
- Richard Black
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automatically generating security policies for web services
- Patent number 7,559,080
- Issue date Jul 7, 2009
- Microsoft Corporation
- Karthikeyan Bhargavan
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Reviewing the security of trusted software components
- Patent number 7,437,718
- Issue date Oct 14, 2008
- Microsoft Corporation
- Cedric Fournet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
History based rights computation for managed code
- Patent number 7,203,833
- Issue date Apr 10, 2007
- Microsoft Corporation
- Martín Abadi
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
TRANSPORT LAYER SECURITY COMPUTER DEVICES AND METHODS
- Publication number 20240235819
- Publication date Jul 11, 2024
- Microsoft Technology Licensing, LLC
- Kapil VASWANI
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
PERIPHERAL DEVICE
- Publication number 20240160795
- Publication date May 16, 2024
- Microsoft Technology Licensing, LLC
- Stavros VOLOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANSPORT LAYER SECURITY COMPUTER DEVICES AND METHODS
- Publication number 20240137210
- Publication date Apr 25, 2024
- Microsoft Technology Licensing, LLC
- Kapil VASWANI
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
MEASURED RESTART OF MICROCONTROLLERS
- Publication number 20240086542
- Publication date Mar 14, 2024
- Microsoft Technology Licensing, LLC
- Stavros VOLOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RECEIPTS OF A DISTRIBUTED LEDGER
- Publication number 20240064033
- Publication date Feb 22, 2024
- Microsoft Technology Licensing, LLC
- Alexander SHAMIS
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
BOOTSTRAPPING A CODE TRANSPARENCY SYSTEM
- Publication number 20230370273
- Publication date Nov 16, 2023
- Microsoft Technology Licensing, LLC
- Mark Eugene RUSSINOVICH
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
CODE TRANSPARENCY SYSTEM OPERATION
- Publication number 20230368193
- Publication date Nov 16, 2023
- Microsoft Technology Licensing, LLC
- Mark Eugene RUSSINOVICH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STREAMING DATA TO MULTI-TILE PROCESSING SYSTEM
- Publication number 20230342121
- Publication date Oct 26, 2023
- Microsoft Technology Licensing, LLC
- Daniel John Pelham WILKINSON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEASURED RESTART OF MICROCONTROLLERS
- Publication number 20230020838
- Publication date Jan 19, 2023
- Microsoft Technology Licensing, LLC
- Stavros VOLOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONFIDENTIAL COMPUTING MECHANISM
- Publication number 20220391326
- Publication date Dec 8, 2022
- Microsoft Technology Licensing, LLC
- David T. Chisnall
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONFIDENTIAL COMPUTING MECHANISM
- Publication number 20220374349
- Publication date Nov 24, 2022
- Microsoft Technology Licensing, LLC
- David T. Chisnall
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ATTESTING UPDATE OF A FIRMWARE LAYER
- Publication number 20220222348
- Publication date Jul 14, 2022
- Microsoft Technology Licensing, LLC
- Kapil VASWANI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Multiple Key Management
- Publication number 20220019700
- Publication date Jan 20, 2022
- Graphcore Limited
- Daniel John Pelham WILKINSON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PERIPHERAL DEVICE
- Publication number 20210342492
- Publication date Nov 4, 2021
- Microsoft Technology Licensing, LLC
- Stavros VOLOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXECUTION ENVIRONMENT AND GATEKEEPER ARRANGEMENT
- Publication number 20210004469
- Publication date Jan 7, 2021
- Microsoft Technology Licensing, LLC
- David Thomas CHISNALL
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PERIPHERAL DEVICE
- Publication number 20200125772
- Publication date Apr 23, 2020
- Microsoft Technology Licensing, LLC
- Stavros VOLOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PRIVACY-PRESERVING MACHINE LEARNING
- Publication number 20170372226
- Publication date Dec 28, 2017
- Microsoft Technology Licensing, LLC
- Manuel Silverio da Silva Costa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA CENTER PRIVACY
- Publication number 20170046520
- Publication date Feb 16, 2017
- Microsoft Technology Licensing, LLC
- Olga Ohrimenko
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRUSTED EXECUTION WITHIN A DISTRIBUTED COMPUTING SYSTEM
- Publication number 20150229619
- Publication date Aug 13, 2015
- Microsoft Corporation
- Manuel Costa
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Automatically Securing Distributed Applications
- Publication number 20140282879
- Publication date Sep 18, 2014
- Microsoft Corporation
- Benjamin Livshits
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Security Language Translations with Logic Resolution
- Publication number 20140165139
- Publication date Jun 12, 2014
- Microsoft Corporation
- Moritz Y. Becker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Security Authorization Queries
- Publication number 20120017263
- Publication date Jan 19, 2012
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATICALLY SECURING DISTRIBUTED APPLICATIONS
- Publication number 20100106767
- Publication date Apr 29, 2010
- Microsoft Corporation
- Benjamin Livshits
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR NETWORK TOPOLOGY DISCOVERY
- Publication number 20090285127
- Publication date Nov 19, 2009
- Microsoft Corporation
- Richard Black
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ENHANCED SECURITY AND PERFORMANCE OF WEB APPLICATIONS
- Publication number 20090138937
- Publication date May 28, 2009
- Microsoft Corporation
- Ulfar Erlingsson
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Security Assertion Revocation
- Publication number 20080066170
- Publication date Mar 13, 2008
- Microsoft Corporation
- Blair B. Dillaway
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Security Authorization Queries
- Publication number 20080066175
- Publication date Mar 13, 2008
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Security Language Translations with Logic Resolution
- Publication number 20080066171
- Publication date Mar 13, 2008
- Microsoft Corporation
- Moritz Y. Becker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Variable Expressions in Security Assertions
- Publication number 20080065899
- Publication date Mar 13, 2008
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Controlling the Delegation of Rights
- Publication number 20080066159
- Publication date Mar 13, 2008
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING

Cedric Fournet

Person

Patents Grantslast 30 patents

Transport layer security computer devices and methods

Code transparency system operation

Measured restart of microcontrollers

Bootstrapping a code transparency system

Multiple key management

System for confidential computing with capabilities

Confidential computing mechanism

Peripheral device

Measured restart of microcontrollers

Execution environment and gatekeeper arrangement

Peripheral device

Data center privacy

Automatically securing distributed applications

Trusted execution within a distributed computing system

Security language translations with logic resolution

Security language expressions for logic resolution

System and method for network topology discovery

Enhanced security and performance of web applications

Security language translations with logic resolution

Security authorization queries

Controlling the delegation of rights

Security assertion revocation

Security authorization queries

Analysis of distributed software systems via specification substitu...

System and method for network topology discovery

Automatically generating security policies for web services

Reviewing the security of trusted software components

History based rights computation for managed code

Patents Applicationslast 30 patents

TRANSPORT LAYER SECURITY COMPUTER DEVICES AND METHODS

PERIPHERAL DEVICE

TRANSPORT LAYER SECURITY COMPUTER DEVICES AND METHODS

MEASURED RESTART OF MICROCONTROLLERS

RECEIPTS OF A DISTRIBUTED LEDGER

BOOTSTRAPPING A CODE TRANSPARENCY SYSTEM

CODE TRANSPARENCY SYSTEM OPERATION

STREAMING DATA TO MULTI-TILE PROCESSING SYSTEM

MEASURED RESTART OF MICROCONTROLLERS

CONFIDENTIAL COMPUTING MECHANISM

CONFIDENTIAL COMPUTING MECHANISM

ATTESTING UPDATE OF A FIRMWARE LAYER

Multiple Key Management

PERIPHERAL DEVICE

EXECUTION ENVIRONMENT AND GATEKEEPER ARRANGEMENT

PERIPHERAL DEVICE

PRIVACY-PRESERVING MACHINE LEARNING

DATA CENTER PRIVACY

TRUSTED EXECUTION WITHIN A DISTRIBUTED COMPUTING SYSTEM

Automatically Securing Distributed Applications

Security Language Translations with Logic Resolution

Security Authorization Queries

AUTOMATICALLY SECURING DISTRIBUTED APPLICATIONS

SYSTEM AND METHOD FOR NETWORK TOPOLOGY DISCOVERY

ENHANCED SECURITY AND PERFORMANCE OF WEB APPLICATIONS

Security Assertion Revocation

Security Authorization Queries

Security Language Translations with Logic Resolution

Variable Expressions in Security Assertions

Controlling the Delegation of Rights