Search Sciweavers | Sciweavers

2303 search results - page 13 / 461

» The Cryptographic Abstract Machine

click to vote

IEEESP
2008

67views more IEEESP 2008»

Cryptographic Test Correction

13 years 7 months ago

Download www.iacr.org

Abstract. Multiple choice questionnaires (mcqs) are a widely-used assessment procedure where examinees are asked to select one or more choices from a list. This invited talk1 explo...

Éric Levieil, David Naccache

claim paper

Read More »

click to vote

CAI
2007
Springer

118views Information Technology» more CAI 2007»

On High-Rate Cryptographic Compression Functions

13 years 7 months ago

Download eprint.iacr.org

Abstract. The security of iterated hash functions relies on the properties of underlying compression functions. We study highly eﬃcient compression functions based on block ciphe...

Richard Ostertág, Martin Stanek

claim paper

Read More »

click to vote

ECML
2005
Springer

129views Machine Learning» more ECML 2005»

Bayesian Network Learning with Abstraction Hierarchies and Context-Specific Independence

14 years 28 days ago

Download maple.cs.umbc.edu

Marie desJardins, Priyang Rathod, Lise Getoor

claim paper

Read More »

click to vote

ENTCS
2008

129views more ENTCS 2008»

The York Abstract Machine

13 years 7 months ago

Download www-users.cs.york.ac.uk

Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...

Greg Manning, Detlef Plump

claim paper

Read More »

click to vote

LOPSTR
2004
Springer

75views Automated Reasoning» more LOPSTR 2004»

From Natural Semantics to Abstract Machines

14 years 23 days ago

Download www.brics.dk

Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004 04-20M.S.Ager:FromNaturalSemanticstoAbstractMachines

Mads Sig Ager

claim paper