Sciweavers

CSFW
2011
IEEE
14 years 7 months ago
Dynamic Enforcement of Knowledge-Based Security Policies
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
Piotr Mardziel, Stephen Magill, Michael Hicks, Mud...
CSFW
2011
IEEE
14 years 7 months ago
Formal Analysis of Protocols Based on TPM State Registers
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
CSFW
2011
IEEE
14 years 7 months ago
Local Memory via Layout Randomization
—Randomization is used in computer security as a tool to introduce unpredictability into the software infrastructure. In this paper, we study the use of randomization to achieve ...
Radha Jagadeesan, Corin Pitcher, Julian Rathke, Ja...
CSFW
2011
IEEE
14 years 7 months ago
Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection
Abstract—Audit mechanisms are essential for privacy protection in permissive access control regimes, such as in hospitals where denying legitimate access requests can adversely a...
Jeremiah Blocki, Nicolas Christin, Anupam Datta, A...
CSEDU
2011
221views Education» more  CSEDU 2011»
14 years 7 months ago
Learning of Algorithms on Mobile Devices through Bluetooth, SMS AND MMS Technology
Teaching Institutions are up against challenges of an advanced technology of learning with the objective of improving the efficiency of the teaching-learning process. Joining the ...
Ricardo José dos Santos Barcelos, Liane Mar...
258
Voted
CSEDU
2011
260views Education» more  CSEDU 2011»
14 years 7 months ago
Matrix and Tensor Factorization for Predicting Student Performance
Nguyen Thai-Nghe, Lucas Drumond, Tomás Horv...
CSEDU
2011
253views Education» more  CSEDU 2011»
14 years 7 months ago
Quality Assurance in Distance Learning - A Study in Higher Education
Gianna Oliveira Bogossian Roque, Gilda Helena Bern...
198
Voted
CSEDU
2011
202views Education» more  CSEDU 2011»
14 years 7 months ago
Improvement of a Lecture Game Concept - Implementing Lecture Quiz 2.0
Bian Wu, Alf Inge Wang, Erling Andreas Børr...