Conferences in DBLP
Michael P. Collins , Michael K. Reiter Finding Peer-to-Peer File-Sharing Using Coarse Network Behaviors. [Citation Graph (0, 0)][DBLP ] Conf ] Vitaly Shmatikov , Ming-Hsiu Wang Timing Analysis in Low-Latency Mix Networks: Attacks and Defenses. [Citation Graph (0, 0)][DBLP ] Conf ] Milan Fort , Felix C. Freiling , Lucia Draque Penso , Zinaida Benenson , Dogan Kesdogan TrustedPals: Secure Multiparty Computation Implemented with Smart Cards. [Citation Graph (0, 0)][DBLP ] Conf ] Shuhong Wang , Xuhua Ding , Robert H. Deng , Feng Bao Private Information Retrieval Using Trusted Hardware. [Citation Graph (0, 0)][DBLP ] Conf ] Yuji Watanabe , Sachiko Yoshihama , Takuya Mishina , Michiharu Kudo , Hiroshi Maruyama Bridging the Gap Between Inter-communication Boundary and Internal Trusted Components. [Citation Graph (0, 0)][DBLP ] Conf ] Cheun Ngen Chong , Sorin Iacob , Paul Koster , Javier Montaner , René van Buuren License Transfer in OMA-DRM. [Citation Graph (0, 0)][DBLP ] Conf ] Abdellatif Benjelloun Touimi , Jean-Bernard Fischer , Caroline Fontaine , Christophe Giraud , Michel Milhau Enhanced Security Architecture for Music Distribution on Mobile. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Besson , Guillaume Dufay , Thomas P. Jensen A Formal Model of Access Control for Mobile Interactive Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Philip W. L. Fong Discretionary Capability Confinement. [Citation Graph (0, 0)][DBLP ] Conf ] Xi-Bin Zhao , Kwok-Yan Lam , Guimin Luo , Siu Leung Chung , Ming Gu Minimal Threshold Closure. [Citation Graph (0, 0)][DBLP ] Conf ] Hao Wang , Somesh Jha , Thomas W. Reps , Stefan Schwoon , Stuart G. Stubblebine Reducing the Dependence of SPKI/SDSI on PKI. [Citation Graph (0, 0)][DBLP ] Conf ] Jason Crampton , Hemanth Khambhammettu Delegation in Role-Based Access Control. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Mellado , Eduardo Fernández-Medina , Mario Piattini Applying a Security Requirements Engineering Process. [Citation Graph (0, 0)][DBLP ] Conf ] Hai Wang , Peng Liu Modeling and Evaluating the Survivability of an Intrusion Tolerant Database System. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Santen A Formal Framework for Confidentiality-Preserving Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Boris Köpf , David A. Basin Timing-Sensitive Information Flow Analysis for Synchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jing Wang , Yoshiaki Takata , Hiroyuki Seki HBAC: A Model for History-Based Access Control and Its Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Naumann From Coupling Relations to Mated Invariants for Checking Information Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Garg , Lujo Bauer , Kevin D. Bowers , Frank Pfenning , Michael K. Reiter A Linear Logic of Authorization and Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Y. A. Ryan , Steve A. Schneider Prêt à Voter with Re-encryption Mixes. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Backes , Christian Cachin , Alina Oprea Secure Key-Updating for Lazy Revocation. [Citation Graph (0, 0)][DBLP ] Conf ] Mudhakar Srivatsa , Ling Liu Key Derivation Algorithms for Monotone Access Structures in Cryptographic File Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Backes , Iliano Cervesato , Aaron D. Jaggard , Andre Scedrov , Joe-Kai Tsay Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. [Citation Graph (0, 0)][DBLP ] Conf ] Dusko Pavlovic , Catherine Meadows Deriving Secrecy in Key Establishment Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Backes , Birgit Pfitzmann , Michael Waidner Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Backes , Markus Dürmuth , Dennis Hofheinz , Ralf Küsters Conditional Reactive Simulatability. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Johns SessionSafe: Implementing XSS Immune Session Handling. [Citation Graph (0, 0)][DBLP ] Conf ] Ted Huffmire , Shreyas Prasad , Timothy Sherwood , Ryan Kastner Policy-Driven Memory Protection for Reconfigurable Hardware. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiqiang Yang , Sheng Zhong , Rebecca N. Wright Privacy-Preserving Queries on Encrypted Data. [Citation Graph (0, 0)][DBLP ] Conf ] Joaquín García-Alfaro , Frédéric Cuppens , Nora Cuppens-Boulahia Analysis of Policy Anomalies on Distributed Network Security Setups. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Maciá-Fernández , Jesús E. Díaz-Verdejo , Pedro Garcia-Teodoro Assessment of a Vulnerability in Iterative Servers Enabling Low-Rate DoS Attacks. [Citation Graph (0, 0)][DBLP ] Conf ] Guofei Gu , Prahlad Fogla , David Dagon , Wenke Lee , Boris Skoric Towards an Information-Theoretic Framework for Analyzing Intrusion Detection Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 