953 followers
@lorisdanto @IsilDillig @swarat @rishabhs For Cryptographic protocols, this might be of interest: https://t.co/2Sy6JOzFaQ
@lorisdanto @IsilDillig @swarat @rishabhs For Cryptographic protocols, this might be of interest: https://t.co/2Sy6JOzFaQ
RT @Station_Q: #QuArC develops ReVerC: verified compilation of efficient reversible circuits. Code https://t.co/EjXREIE0E7 Paper https://t…
RT @Station_Q: #QuArC develops ReVerC: verified compilation of efficient reversible circuits. Code https://t.co/EjXREIE0E7 Paper https://t…
RT @Station_Q: #QuArC develops ReVerC: verified compilation of efficient reversible circuits. Code https://t.co/EjXREIE0E7 Paper https://t…