References of "Kremer, Steve"
     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: 34 (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: 36 (1 UL)