286 search results - page 56 / 58 » Crypto Engineering: Some History and Some Case Studies |
VLC
2008
13 years 7 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
TCIAIG
2010
13 years 2 months ago
2010
The objective of this work is to automatically detect the use of game bots in online games based on the trajectories of account users. Online gaming has become one of the most popu...
FOSSACS
2001
Springer
14 years 3 days ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
CCS
2003
ACM
14 years 25 days ago
2003
ACM
Forward-secure signatures (FSSs) have recently received much attention from the cryptographic theory community as a potentially realistic way to mitigate many of the difficulties...
SIGECOM
2011
ACM
12 years 10 months ago
2011
ACM
In this paper, we study the class of competitive equilibria in two sided matching markets with general (non-quasilinear) utility functions. Mechanism design in general non-quasili...