Travelled to:
1 × Greece
1 × Portugal
4 × USA
Collaborated with:
B.T.Loo W.Zhou A.Haeberlen H.Tan N.Goharian Y.Mao W.R.Marczak Q.Fei T.Tao Z.G.Ives A.Narayan S.S.Huang M.Bravenboer M.Aref X.Li A.Chen W.B.Moore H.Xiao L.T.X.Phan S.Mapara Y.Ren Y.Li H.Gill C.Liu A.Wang S.Sun
Talks about:
proven (4) distribut (3) network (3) secur (3) time (3) declar (2) queri (2) determinist (1) platform (1) maintain (1)
Person: Micah Sherr
DBLP: Sherr:Micah
Contributed to:
Wrote 8 papers:
- OSDI-2014-ChenMXHPSZ #detection
- Detecting Covert Timing Channels with Time-Deterministic Replay (AC, WBM, HX, AH, LTXP, MS, WZ), pp. 541–554.
- VLDB-2013-ZhouMRLHILS12 #distributed
- Distributed Time-aware Provenance (WZ, SM, YR, YL, AH, ZGI, BTL, MS), pp. 49–60.
- PADL-2012-LooGLMMSWZ #declarative #network
- Recent Advances in Declarative Networking (BTL, HG, CL, YM, WRM, MS, AW, WZ), pp. 1–16.
- SIGIR-2012-TanGS #exclamation #identification
- $100, 000 prize jackpot. call now!: identifying the pertinent features of SMS spam (HT, NG, MS), pp. 1175–1176.
- SIGMOD-2011-ZhouFSTHILS #declarative #distributed #framework #maintenance #named #platform #query
- NetTrails: a declarative platform for maintaining and querying provenance in distributed systems (WZ, QF, SS, TT, AH, ZGI, BTL, MS), pp. 1323–1326.
- SOSP-2011-ZhouFNHLS #network
- Secure network provenance (WZ, QF, AN, AH, BTL, MS), pp. 295–310.
- SIGMOD-2010-MarczakHBSLA #distributed #named
- SecureBlox: customizable secure distributed data processing (WRM, SSH, MB, MS, BTL, MA), pp. 723–734.
- SIGMOD-2010-ZhouSTLLM #maintenance #network #performance #query
- Efficient querying and maintenance of network provenance at internet-scale (WZ, MS, TT, XL, BTL, YM), pp. 615–626.