Login / Signup
Jon Rios
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Theorem Prover
Desktop Computers
Mathematical Proofs
Proof Search
Top Venues
AsiaCCS
Financial Cryptography
</>
Publications
</>
Markus Miettinen
,
N. Asokan
,
Farinaz Koushanfar
,
Thien Duc Nguyen
,
Jon Rios
,
Ahmad-Reza Sadeghi
,
Majid Sobhani
,
Sudha Yellapantula
I Know Where You are: Proofs of Presence Resilient to Malicious Provers.
AsiaCCS
(2015)
Christoph Busold
,
Stephan Heuser
,
Jon Rios
,
Ahmad-Reza Sadeghi
,
N. Asokan
Smart and Secure Cross-Device Apps for the Internet of Advanced Things.
Financial Cryptography
(2015)