References of "Bursuc, Sergiu 50037132"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailContingent Payments on a Public Ledger: Models and Reductions for Automated Verification.
Bursuc, Sergiu UL; Kremer, Steve

in Bursuc, Sergiu; Kremer, Steve (Eds.) Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification. (2019, September)

Detailed reference viewed: 25 (1 UL)
Full Text
Peer Reviewed
See detailPrivate Votes on Untrusted Platforms: Models, Attacks and Provable Scheme
Bursuc, Sergiu UL; Dragan, Constantin-Catalin; Kremer, Steve

in Bursuc, Sergiu; Dragan, Constantin-Catalin; Kremer, Steve (Eds.) Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme (2019)

Detailed reference viewed: 27 (0 UL)