Travelled to:1 × France
3 × USA
Collaborated with:T.Sherwood R.Kastner M.Tiwari W.Hu A.Irturk S.Meiklejohn X.Li V.Kashyap F.T.Chong B.Hardekopf
Talks about:inform (3) flow (3) hardwar (2) isol (2) framework (1) descript (1) theoret (1) practic (1) languag (1) channel (1)
Person: Jason Oberg
DBLP: Oberg:Jason
Contributed to:
2013
2011
20112010Wrote 4 papers:
- DATE-2013-ObergMSK #framework #hardware #testing
- A practical testing framework for isolating hardware timing channels (JO, SM, TS, RK), pp. 1281–1284.
- DAC-2011-ObergHITSK #data flow
- Information flow isolation in I2C and USB (JO, WH, AI, MT, TS, RK), pp. 254–259.
- PLDI-2011-LiTOKCSH #data flow #hardware #named
- Caisson: a hardware description language for secure information flow (XL, MT, JO, VK, FTC, TS, BH), pp. 109–120.
- DAC-2010-ObergHITSK #analysis #data flow
- Theoretical analysis of gate level information flow tracking (JO, WH, AI, MT, TS, RK), pp. 244–247.