Search Sciweavers | Sciweavers

5476 search results - page 27 / 1096

» Resettably Secure Computation

121

click to vote

ISI
2006
Springer

108views Security Privacy» more ISI 2006»

A Trust-Based Security Architecture for Ubiquitous Computing Systems

15 years 3 months ago

Download uclab.khu.ac.kr

Hung Le Xuan, Pho Duc Giang, Yonil Zhung, Tran Van...

claim paper

Read More »

221

Voted

HPCA
2011
IEEE

264views Distributed And Parallel Com...» more HPCA 2011»

Architectural framework for supporting operating system survivability

14 years 7 months ago

Download www4.ncsu.edu

The ever increasing size and complexity of Operating System (OS) kernel code bring an inevitable increase in the number of security vulnerabilities that can be exploited by attack...

Xiaowei Jiang, Yan Solihin

claim paper

Read More »

click to vote

PROVSEC
2009
Springer

109views Security Privacy» more PROVSEC 2009»

GUC-Secure Set-Intersection Computation

15 years 10 months ago

Download eprint.iacr.org

Secure set-intersection computation is one of important problems in secure multiparty computation with various applications. We propose a general construction for secure 2-party se...

Yuan Tian, Hao Zhang

claim paper

Read More »

108

Voted

CCS
2008
ACM

104views Security Privacy» more CCS 2008»

Computationally sound mechanized proofs for basic and public-key Kerberos

15 years 5 months ago

Download www.math.upenn.edu

Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, J...

claim paper