Compare EMF Cryptography Draft

Data

Encryption 

EMF capture

Radiating EMF 

Decryption 

Data

abc (unencrypted data)

xyz (encryption key)

axbycz

axbycz - xyz

abc (unencrypted data)

Captured transmission 

Captured radiation 

EasyUC blog link https://blogbarley.blogspot.com/2025/08/uceasyuc-summer-school_14.html

github link https://github.com/easyuc

EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security https://eprint.iacr.org/2019/582

https://github.com/barleyjohn/assorted/blob/main/EasyCrypt%20Module%20for%20Making%20Interfaces.ipynb

CryptHOL https://www.isa-afp.org/entries/CryptHOL.html