BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dijk:Marten_van

Contributed to:

ASPLOS 20152015
DATE 20142014
HPCA 20142014
CHI 20112011
SAC 20082008
HPCA 20032003
SAC 20032003

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.