Search Sciweavers | Sciweavers

890 search results - page 1 / 178

» Programming language methods in computer security

271

click to vote

POPL
2001
ACM

224views Programming Languages» more POPL 2001»

Programming language methods in computer security

16 years 3 months ago

Download theory.stanford.edu

traction

John C. Mitchell

claim paper

Read More »

174

click to vote

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

15 years 8 months ago

Download gallium.inria.fr

Xavier Leroy

claim paper

Read More »

click to vote

IFIP
1992
Springer

114views Programming Languages» more IFIP 1992»

Human Factors In Computer Security

15 years 6 months ago

Download www-inst.eecs.berkeley.edu

Ibibia Dabipi, Husam Yaghi, Issam Qasem

claim paper

Read More »

click to vote

ICALP
2000
Springer

139views Programming Languages» more ICALP 2000»

One-Round Secure Computation and Secure Autonomous Mobile Agents

15 years 6 months ago

Download www.zurich.ibm.com

d Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M

Christian Cachin, Jan Camenisch, Joe Kilian, Joy M...

claim paper

Read More »

Voted

ICALP
2001
Springer

100views Programming Languages» more ICALP 2001»

Secure Multiparty Computation of Approximations

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers