Travelled to:1 × China
1 × Italy
1 × Turkey
3 × USA
Collaborated with:A.C.Myers D.Kifer Peixuan Li G.E.Suh A.Askarov Y.Guo X.Chen Y.Wang D.Vytiniotis S.L.P.Jones Y.Wang Zeyu Ding Guanhong Wang A.Ferraiuolo Rui Xu C.Hawblitzel J.Howell J.R.Lorch A.Narayan B.Parno B.Zill
Talks about:secur (4) autom (3) differenti (2) privaci (2) languag (2) hardwar (2) analysi (2) toward (2) static (2) inform (2)
Person: Danfeng Zhang
DBLP: Zhang:Danfeng
Contributed to:
2015
2015
2014
20142012
2008
2018201720192017Wrote 10 papers:
- ASPLOS-2015-ZhangWSM #data flow #design #hardware #information management #security
- A Hardware Design Language for Timing-Sensitive Information-Flow Security (DZ, YW, GES, ACM), pp. 503–516.
- PLDI-2015-ZhangMVJ #fault
- Diagnosing type errors with class (DZ, ACM, DV, SLPJ), pp. 12–21.
- OSDI-2014-HawblitzelHLNPZZ #automation #security #verification
- Ironclad Apps: End-to-End Security via Automated Full-System Verification (CH, JH, JRL, AN, BP, DZ, BZ), pp. 165–181.
- POPL-2014-ZhangM #fault #towards
- Toward general diagnosis of static errors (DZ, ACM), pp. 569–582.
- PLDI-2012-ZhangAM
- Language-based control and mitigation of timing channels (DZ, AA, ACM), pp. 99–110.
- ASE-2008-ZhangGC #analysis #automation #clustering #recommendation
- Automated Aspect Recommendation through Clustering-Based Fan-in Analysis (DZ, YG, XC), pp. 278–287.
- OOPSLA-2018-LiZ #framework #security
- A derivation framework for dependent security label inference (PL, DZ), p. 26.
- POPL-2017-ZhangK #automation #difference #named #privacy #proving #towards
- LightDP: towards automating differential privacy proofs (DZ, DK), pp. 888–901.
- PLDI-2019-WangDWKZ #difference #execution #privacy #proving
- Proving differential privacy with shadow execution (YW, ZD, GW, DK, DZ), pp. 655–669.
- ASPLOS-2017-FerraiuoloXZMS #analysis #architecture #data flow #hardware #security #verification
- Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis (AF, RX, DZ, ACM, GES), pp. 555–568.