Tighter Proofs for the SIGMA and TLS 1.3 Key Exchange Protocols
We give new proofs that justify the SIGMA and TLS 1.3 key exchange protocols not just in principle, but in practice. By this we mean …
Separate Your Domains: NIST PQC KEMs, Oracle Cloning and Read-Only Indifferentiability
It is convenient and common for schemes in the random oracle model to assume access to multiple random oracles (ROs), leaving to …
Power dissipation in fractal AC circuits
We extend Feynman’s analysis of an infinite ladder circuit to fractal circuits, providing examples in which fractal circuits …
