Publications

Using automated model analysis for reasoning about security of web protocols
- - Apurva Kumar
- 2012
- ACSAC 2012
Scalable and fully self-aligned n-type carbon nanotube transistors with gate-all-around
- - Aaron D. Franklin
  - Siyuranga O. Koswatta
  - et al.
- 2012
- IEDM 2012
Designing a programmable wire-speed regular-expression matching accelerator
- - Jan Van Lunteren
  - Christoph Hagleitner
  - et al.
- 2012
- MICRO 2012
Systematic energy characterization of CMP/SMT processor systems via automated micro-benchmarks
- - Ramon Bertran
  - Alper Buyuktosunoglu
  - et al.
- 2012
- MICRO 2012
Statistical measurement of random telegraph noise and its impact in scaled-down high-κ/metal-gate MOSFETs
- - H. Miki
  - N. Tega
  - et al.
- 2012
- IEDM 2012
Corpus-based interpretation of instructions in virtual environments
- - Luciana Benotti
  - Martín Villalba
  - et al.
- 2012
- ACL 2012
Composition of flow-based applications with HTN planning
- - Shirin Sohrabi
  - Octavian Udrea
  - et al.
- 2012
- AAAI 2012
High mobility high-κ-all-around asymmetrically-strained Germanium nanowire trigate p-MOSFETs
- - Winston Chern
  - Pouya Hashemi
  - et al.
- 2012
- IEDM 2012
Deanonymizing mobility traces: Using social networks as a side-channel
- - Mudhakar Srivatsa
  - Mike Hicks
- 2012
- CCS 2012
Second workshop on building analysis datasets and gathering experience returns for security (BADGERS'12)
- - Mihai Christodorescu
- 2012
- CCS 2012