Explore projects

A decryption oracle (e.g. as for ERC 7573).

EasyCrypt proofs of: i) indifferentiability from a random oracle and security for the SHA-3 hash functions in the random permutation model; and ii) correctness and leakage-freeness for optimized Jasmin implementations of SHA-3 and SHAKE.

Change data capture on Oracle databases + transfer of change events to Kafka

Self-hosted single-node k3s cluster on Oracle Cloud