avadacatavra's blog
Posts
15 Feb 2019 »
2019 - Goals, visions, pipe dreams
looking ahead at 2019
28 Dec 2018 »
VR art-We Live in an Ocean of Air
my experience in an immersive art installation
25 Jul 2018 »
Women of Silicon Roundabout
a Grace Hopper Conference I actually want to go back to
24 Jul 2018 »
OPLSS
where I learn about types and hand Bob Harper a rude balloon
24 Jan 2018 »
RWC-Privacy Preserving Machine Learning
preparing for the day when the machines take over
24 Jan 2018 »
RWC-Post Quantum signatures are a Picnic
Pepe and Veronica play with boolean circuits
19 Jan 2018 »
RWC- Zero Knowledge is actually a good thing!
when the know-nothings have the right idea
19 Jan 2018 »
High Assurance Cryptography
why do i care about formal verification
26 Sep 2017 »
Attacking Rust for Fun and Profit
trying to exploit rust with gdb
09 May 2017 »
Programming is (NP?) Hard
code review is good
07 Feb 2017 »
OpenSSL, WebPKI and Rustls performance in Servo
certificate verification performance results
10 Oct 2016 »
Cipherscan
cipherscan results and discussion