776 search results - page 137 / 156 » Securing user inputs for the web |
CRYPTO
2012
Springer
11 years 11 months ago
2012
Springer
We provide a functional encryption system that supports functionality for regular languages. In our system a secret key is associated with a Deterministic Finite Automata (DFA) M....
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
CHI
2010
ACM
14 years 1 months ago
2010
ACM
Unlike machines, we humans are prone to boredom when we perform routine activities for long periods of time. Workers’ mental engagement in boring tasks diminishes, which eventua...
CIIA
2009
13 years 10 months ago
2009
The increasing power of computers, increasing capacity of digital memory and wider availability of a great variety of input devices such as cameras and video recorders, has resulte...
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...