Sciweavers

12478 search results - page 410 / 2496
» Secure Interaction Design
Sort
View
SPC
2005
Springer
16 years 14 days ago
Exploiting Empirical Engagement in Authentication Protocol Design
We develop the theme of an earlier paper [3], namely that security protocols for pervasive computing frequently need to exploit empirical channels and that the latter can be classi...
Sadie Creese, Michael Goldsmith, Richard Harrison,...
FSE
1997
Springer
131views Cryptology» more  FSE 1997»
15 years 11 months ago
Fast Software Encryption: Designing Encryption Algorithms for Optimal Software Speed on the Intel Pentium Processor
Most encryption algorithms are designed without regard to their performance on top-of-the-line microprocessors. This paper discusses general optimization principles algorithms desi...
Bruce Schneier, Doug Whiting
CHI
2008
ACM
16 years 7 months ago
In-car interaction using search-based user interfaces
Increasing functionality, growing media volumes and dynamic data in today's in-vehicle information systems bear new challenges for user interaction design. Traditional hierar...
Stefan Graf, Wolfgang Spiessl, Albrecht Schmidt, A...
CHI
2010
ACM
16 years 1 months ago
Home, habits, and energy: examining domestic interactions and energy consumption
This paper presents findings from a qualitative study of people’s everyday interactions with energy-consuming products and systems in the home. Initial results from a large onli...
James Pierce, Diane J. Schiano, Eric Paulos
ICLP
2009
Springer
16 years 1 months ago
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
Jesús Aranda, Gérard Assayag, Carlos...