Search Sciweavers | Sciweavers

5665 search results - page 45 / 1133

» Introduction to Computer Security

click to vote

PROVSEC
2009
Springer

109views Security Privacy» more PROVSEC 2009»

GUC-Secure Set-Intersection Computation

14 years 3 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 »

click to vote

MOC
2010

117views Security Privacy» more MOC 2010»

Computing a lower bound for the canonical height on elliptic curves over number fields

13 years 3 months ago

Download home.kku.ac.th

Computing a lower bound for the canonical height is a crucial step in determining a Mordell

Thotsaphon Thongjunthug

claim paper

Read More »

click to vote

CCS
2008
ACM

104views Security Privacy» more CCS 2008»

Computationally sound mechanized proofs for basic and public-key Kerberos

13 years 10 months ago

Download www.math.upenn.edu

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

claim paper

Read More »

click to vote

ISI
2006
Springer

112views Security Privacy» more ISI 2006»

A Flexible and Scalable Access Control for Ubiquitous Computing Environments

13 years 8 months ago

Download uclab.khu.ac.kr

Hung Le Xuan, Nguyen Ngoc Diep, Yonil Zhung, Sungy...

claim paper

Read More »

click to vote

OOPSLA
2010
Springer

120views Security Privacy» more OOPSLA 2010»

What can the GC compute efficiently?: a language for heap assertions at GC time

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers