Travelled to:1 × Brazil
1 × Canada
1 × Germany
1 × Turkey
3 × USA
Collaborated with:S.Devadas U.Rührmair B.Gassend D.E.Clarke C.W.Fletcher L.Ren T.Denning K.D.Bowers A.Juels L.F.G.Sarmenta J.Rhodes A.Kwon G.E.Suh X.Yu O.Khan
Talks about:protocol (2) oblivi (2) memori (2) integr (2) effici (2) verif (2) base (2) ram (2) countermeasur (1) suppress (1)
Person: Marten van Dijk
DBLP: Dijk:Marten_van
Contributed to:
2015
2014
2014
2011
200820032003Wrote 7 papers:
- ASPLOS-2015-FletcherRKDD #ram #recursion #verification
- Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM (CWF, LR, AK, MvD, SD), pp. 103–116.
- DATE-2014-DijkR #protocol
- Protocol attacks on advanced PUF protocols and countermeasures (MvD, UR), pp. 1–6.
- HPCA-2014-FletcherRYDKD #information management #performance #ram #trade-off
- Suppressing the Oblivious RAM timing channel while making information leakage and program efficiency trade-offs (CWF, LR, XY, MvD, OK, SD), pp. 213–224.
- CHI-2011-DenningBDJ #memory management
- Exploring implicit memory for painless password recovery (TD, KDB, MvD, AJ), pp. 2615–2618.
- SAC-2008-SarmentaDRD
- Offline count-limited certificates (LFGS, MvD, JR, SD), pp. 2145–2152.
- HPCA-2003-GassendSCDD #memory management #performance #verification
- Caches and Hash Trees for Efficient Memory Integrity Verification (BG, GES, DEC, MvD, SD), pp. 295–306.
- SAC-2003-GassendCDD #authentication
- Delay-Based Circuit Authentication and Applications (BG, DEC, MvD, SD), pp. 294–301.