1 citations · 1 across the 9 of their papers we have counts for
3 papers · 1 filter
Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
John Kolesar, Shan Ali, Timos Antonopoulos +1
Zero-knowledge (ZK) protocols enable software developers to provide proofs of their programs' correctness to other parties without revealing the programs themselves. Regular expres…
Systematic Use of Random Self-Reducibility against Physical Attacks
Ferhat Erata, TingHung Chiu, Anthony Etim +7
This work presents a novel, black-box software-based countermeasure against physical attacks including power side-channel and fault-injection attacks. The approach uses the concept…
IVeri: Privacy-Preserving Interdomain Verification
Ning Luo, Qiao Xiang, Timos Antonopoulos +3
In an interdomain network, autonomous systems (ASes) often establish peering agreements, so that one AS (agreement consumer) can influence the routing policies of the other AS (agr…