Sciweavers

14850 search results - page 21 / 2970

» The Security of

22

CSFW
2009
IEEE

114views Security Privacy» more CSFW 2009»

Expressive Power of Definite Clauses for Verifying Authenticity

14 years 3 months ago

Expressive Power of Definite Clauses for Verifying Authenticity

Download www.math.unipd.it

Gilberto Filé, Roberto Vigo

claim paper

Read More »

23

ACISP
2009
Springer

115views Security Privacy» more ACISP 2009»

A Highly Scalable RFID Authentication Protocol

14 years 3 months ago

A Highly Scalable RFID Authentication Protocol

Download www.cacr.math.uwaterloo.ca

Jiang Wu, Douglas R. Stinson

claim paper

Read More »

20

OOPSLA
2009
Springer

136views Security Privacy» more OOPSLA 2009»

Empirical assessment of object-oriented implementations with multiple inheritance and static typing

14 years 3 months ago

Empirical assessment of object-oriented implementations with multiple inheritance and static typing

Download www.lirmm.fr

Roland Ducournau, Floréal Morandat, Jean Pr...

claim paper

Read More »

20

OOPSLA
2009
Springer

156views Security Privacy» more OOPSLA 2009»

On understanding data abstraction, revisited

14 years 3 months ago

On understanding data abstraction, revisited

Download userweb.cs.utexas.edu

William R. Cook

claim paper

Read More »

20

OOPSLA
2009
Springer

134views Security Privacy» more OOPSLA 2009»

Inferred call path profiling

14 years 3 months ago

Inferred call path profiling

Download www-plan.cs.colorado.edu

Todd Mytkowicz, Devin Coughlin, Amer Diwan

claim paper

Read More »

« Prev « First page 21 / 2970 Last » Next »