Haryadi Gunawi

Follow

Person

Chicago, IL, US

People

Patents Grantslast 30 patents

Information Patent Grant
Stream ciphers for digital storage encryption
- Patent number 11,139,959
- Issue date Oct 5, 2021
- The University of Chicago
- Bernard Dickens
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatically detecting distributed concurrency errors in cloud sys...
- Patent number 10,599,551
- Issue date Mar 24, 2020
- The University of Chicago
- Shan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model checker for finding distributed concurrency bugs
- Patent number 10,599,552
- Issue date Mar 24, 2020
- Jeffrey Lukman
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Model Checker for Finding Distributed Concurrency Bugs
- Publication number 20190332518
- Publication date Oct 31, 2019
- FutureWei Technologies, Inc.
- Jeffrey Lukman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Stream Ciphers for Digital Storage Encryption
- Publication number 20190238312
- Publication date Aug 1, 2019
- The University of Chicago
- Bernard Dickens
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATICALLY DETECTING DISTRIBUTED CONCURRENCY ERRORS IN CLOUD SYS...
- Publication number 20180046565
- Publication date Feb 15, 2018
- FutureWei Technologies, Inc.
- Shan Lu
- G06 - COMPUTING CALCULATING COUNTING