Using automated model analysis for reasoning about security of web protocols
- Apurva Kumar
- 2012
- ACSAC 2012
Publications
Date
Featured collections
Popular topics
Newton-like methods for sparse inverse covariance estimation
- Peder A. Olsen
- Figen Oztoprak
- et al.
- 2012
- NeurIPS 2012
Online ℓ1-dictionary learning with application to novel document detection
- Shiva Prasad Kasiviswanathan
- Huahua Wang
- et al.
- 2012
- NeurIPS 2012
An integration path for gate-first UTB III-V-on-insulator MOSFETs with silicon, using direct wafer bonding and donor wafer recycling
- Lukas Czornomaz
- N. Daix
- et al.
- 2012
- IEDM 2012
GenDeR: A generic diversified ranking algorithm
- Jingrui He
- Hanghang Tong
- et al.
- 2012
- NeurIPS 2012
A 90nm CMOS integrated Nano-Photonics technology for 25Gbps WDM optical communications applications
- Solomon Assefa
- Steven Shank
- et al.
- 2012
- IEDM 2012
Room-temperature carrier transport in high-performance short-channel Silicon nanowire MOSFETs
- Amlan Majumdar
- Sarunya Bangsaruntip
- et al.
- 2012
- IEDM 2012
Cu CMP and its challenge for 20nm nodes and beyond
- John H. Zhang
- Wei-Tsu Tseng
- et al.
- 2012
- MRS Spring Meeting 2012
Designing a programmable wire-speed regular-expression matching accelerator
- Jan Van Lunteren
- Christoph Hagleitner
- et al.
- 2012
- MICRO 2012
Density Propagation and improved bounds on the partition function
- Stefano Ermon
- Carla P. Gomes
- et al.
- 2012
- NeurIPS 2012