Using automated model analysis for reasoning about security of web protocols
- Apurva Kumar
- 2012
- ACSAC 2012
Publications
Cu CMP and its challenge for 20nm nodes and beyond
- John H. Zhang
- Wei-Tsu Tseng
- et al.
- 2012
- MRS Spring Meeting 2012
Adaptive learning of smoothing functions: Application to electricity load forecasting
- Amadou Ba
- Mathieu Sinn
- et al.
- 2012
- NeurIPS 2012
High performance extremely thin SOI (ETSOI) hybrid CMOS with Si channel NFET and strained SiGe channel PFET
- K. Cheng
- A. Khakifirooz
- et al.
- 2012
- IEDM 2012
Corpus-based interpretation of instructions in virtual environments
- Luciana Benotti
- Martín Villalba
- et al.
- 2012
- ACL 2012
Systematic energy characterization of CMP/SMT processor systems via automated micro-benchmarks
- 2012
- MICRO 2012
Learning from crowds and experts
- Hiroshi Kajino
- Yuta Tsuboi
- et al.
- 2012
- AAAI 2012
A 90nm CMOS integrated Nano-Photonics technology for 25Gbps WDM optical communications applications
- Solomon Assefa
- Steven Shank
- et al.
- 2012
- IEDM 2012
Second workshop on building analysis datasets and gathering experience returns for security (BADGERS'12)
- Mihai Christodorescu
- 2012
- CCS 2012
Deanonymizing mobility traces: Using social networks as a side-channel
- Mudhakar Srivatsa
- Mike Hicks
- 2012
- CCS 2012