Sciweavers

9503 search results - page 161 / 1901
» Authenticated System Calls
Sort
View
OPODIS
2007
15 years 7 months ago
Making Distributed Applications Robust
We present a novel translation of systems that are tolerant of crash failures to systems that are tolerant of Byzantine failures in an asynchronous environment, making weaker assum...
Chi Ho, Danny Dolev, Robbert van Renesse
CORR
2006
Springer
120views Education» more  CORR 2006»
15 years 6 months ago
Watermarking Using Decimal Sequences
: This paper introduces the use of decimal sequences in a code division multiple access (CDMA) based watermarking system to hide information for authentication in black and white i...
Navneet Mandhani, Subhash Kak
CHI
2006
ACM
16 years 6 months ago
RoomBugs: simulating insect infestations in elementary classrooms
This paper presents research on a collaborative learning environment in an urban elementary science classroom. The application, called RoomBugs, simulates a dynamic ecosystem of i...
Michael Barron, Tom Moher, Jeff Maharry
RECONFIG
2008
IEEE
156views VLSI» more  RECONFIG 2008»
16 years 16 days ago
Forward-Secure Content Distribution to Reconfigurable Hardware
Confidentiality and integrity of bitstreams and authenticated update of FPGA configurations are fundamental to trusted computing on reconfigurable technology. In this paper, we pr...
David Champagne, Reouven Elbaz, Catherine H. Gebot...
TACAS
2007
Springer
67views Algorithms» more  TACAS 2007»
16 years 8 days ago
Searching for Shapes in Cryptographic Protocols
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Th...