Sciweavers

6164 search results - page 344 / 1233
» Teaching Computer Security
Sort
View
CTRSA
2006
Springer
107views Cryptology» more  CTRSA 2006»
15 years 10 months ago
A Round and Communication Efficient Secure Ranking Protocol
In this work, we initiate the study of realizing a ranking functionality (m1,
Shaoquan Jiang, Guang Gong
SIGCSE
2010
ACM
182views Education» more  SIGCSE 2010»
16 years 1 months ago
Frances: a tool for understanding code generation
Compiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course ar...
Tyler Sondag, Kian L. Pokorny, Hridesh Rajan
SIGCSE
2008
ACM
153views Education» more  SIGCSE 2008»
15 years 5 months ago
A cross-domain visual learning engine for interactive generation of instructional materials
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
K. R. Subramanian, T. Cassen
COORDINATION
2005
Springer
16 years 9 days ago
Tagged Sets: A Secure and Transparent Coordination Medium
Abstract. A simple and effective way of coordinating distributed, mobile, and parallel applications is to use a virtual shared memory (VSM), such as a Linda tuple-space. In this p...
Manuel Oriol, Michael W. Hicks
PACT
2005
Springer
16 years 7 days ago
On Evaluating the Performance of Security Protocols
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
Chiara Bodei, Mikael Buchholtz, Michele Curti, Pie...