Login / Signup
Mario Dehesa-Azuara
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 2
Top Topics
Preprocessing
Video Sequences
Resource Allocation
Data Streams
Top Venues
IEEE Symposium on Security and Privacy
CoRR
</>
Publications
</>
Van Chan Ngo
,
Mario Dehesa-Azuara
,
Matthew Fredrikson
,
Jan Hoffmann
Verifying and Synthesizing Constant-Resource Implementations with Types.
CoRR
(2018)
Van Chan Ngo
,
Mario Dehesa-Azuara
,
Matthew Fredrikson
,
Jan Hoffmann
Verifying and Synthesizing Constant-Resource Implementations with Types.
IEEE Symposium on Security and Privacy
(2017)