|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2050 occurrences of 1056 keywords
|
|
|
|
|
Results
Found 2767 publication records. Showing 2767 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Peter G. Neumann, Matt Bishop, Sean Peisert, Marv Schaefer |
Reflections on the 30th Anniversary of the IEEE Symposium on Security and Privacy.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
30th Anniversary Retrospective, Security, Privacy |
| 3 | Luca Compagna, Paul El Khoury, Alzbeta Krausová, Fabio Massacci, Nicola Zannone |
How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns.  |
Artif. Intell. Law  |
2009 |
DBLP DOI BibTeX RDF |
Security and privacy patterns, Legal requirements, Pattern validation, Healthcare, Organization |
| 3 | Jay Ligatti, Billy Rickey, Nalin Saigal |
LoPSiL: A Location-Based Policy-Specification Language.  |
MobiSec  |
2009 |
DBLP DOI BibTeX RDF |
Policy-specification languages, location-dependent policies, mobile devices, security and privacy |
| 3 | Elisa Bertino, Bhavani M. Thuraisingham, Michael Gertz, Maria Luisa Damiani |
Security and privacy for geospatial data: concepts and research directions.  |
SPRINGL  |
2008 |
DBLP DOI BibTeX RDF |
security, privacy, GIS, geospatial data |
| 3 | Patrick Gage Kelley, Paul Hankes Drielsma, Norman M. Sadeh, Lorrie Faith Cranor |
User-controllable learning of security and privacy policies.  |
AISec  |
2008 |
DBLP DOI BibTeX RDF |
security and privacy policies, user-controllable learning, usable security |
| 3 | Daniel Halperin, Thomas S. Heydt-Benjamin, Benjamin Ransford, Shane S. Clark, Benessa Defend, Will Morgan, Kevin Fu, Tadayoshi Kohno, William H. Maisel |
Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses.  |
IEEE Symposium on Security and Privacy  |
2008 |
DBLP DOI BibTeX RDF |
security, privacy, pervasive computing, implantable medical devices, medical safety |
| 3 | Neil Bird, Claudine Conrado, Jorge Guajardo, Stefan Maubach, Geert Jan Schrijen, Boris Skoric, Anton M. H. Tombeur, Peter Thueringer, Pim Tuyls |
ALGSICS - Combining Physics and Cryptography to Enhance Security and Privacy in RFID Systems.  |
ESAS  |
2007 |
DBLP DOI BibTeX RDF |
cheap solutions, physics and crypto, privacy, RFID, sensors |
| 3 | Philippe Golle, David Wagner |
Cryptanalysis of a Cognitive Authentication Scheme (Extended Abstract).  |
IEEE Symposium on Security and Privacy  |
2007 |
DBLP DOI BibTeX RDF |
|
| 3 | Jin Kwak, Keunwoo Rhee, Soohyun Oh, Seungjoo Kim, Dongho Won |
RFID System with Fairness Within the Framework of Security and Privacy.  |
ESAS  |
2005 |
DBLP DOI BibTeX RDF |
uncheckable, security, privacy, RFID, Fairness, traceability |
| 3 | Reind P. van de Riet, Wouter Janssen, Martin S. Olivier, Radu Serban |
A Comparison of Two Architectures for Implementing Security and Privacy in Cyberspace.  |
DEXA  |
2000 |
DBLP DOI BibTeX RDF |
architecture, object-orientation, capability, security and privacy, cyberspace |
| 2 | Di Ma, Anudath K. Prasad, Nitesh Saxena, Tuo Xiang |
Location-aware and safer cards: enhancing RFID security and privacy via location sensing.  |
WISEC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 2 | Rolf Oppliger |
Security and Privacy in an Online World.  |
IEEE Computer  |
2011 |
DBLP DOI BibTeX RDF |
Security and privacy |
| 2 | |
32nd IEEE Symposium on Security and Privacy, S&P 2011, 22-25 May 2011, Berkeley, California, USA  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP BibTeX RDF |
|
| 2 | Ravi S. Sandhu |
The challenge of data and application security and privacy (DASPY): are we up to it.  |
CODASPY  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Zachary Weinberg, Eric Yawei Chen, Pavithra Ramesh Jayaraman, Collin Jackson |
I Still Know What You Visited Last Summer: Leaking Browsing History via User Interaction and Side Channel Attacks.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
browsing history, privacy, web security |
| 2 | Reza Shokri, George Theodorakopoulos, Jean-Yves Le Boudec, Jean-Pierre Hubaux |
Quantifying Location Privacy.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
Location Traces, Quantifying Metric, Location-Privacy Meter, Location Privacy, Evaluation Framework |
| 2 | Suman Jana, Donald E. Porter, Vitaly Shmatikov |
TxBox: Building Secure, Efficient Sandboxes with System Transactions.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
transaction, speculative execution, sandbox |
| 2 | Brendan Dolan-Gavitt, Tim Leek, Michael Zhivich, Jonathon T. Giffin, Wenke Lee |
Virtuoso: Narrowing the Semantic Gap in Virtual Machine Introspection.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
virtual machine introspection, security, virtualization, dynamic analysis |
| 2 | Frederik Armknecht, Roel Maes, Ahmad-Reza Sadeghi, François-Xavier Standaert, Christian Wachsmann |
A Formalization of the Security Features of Physical Functions.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
Physically Unclonable Function (PUF), Unclonability, Robustness, Formal Security Model, Unpredictability |
| 2 | Xin Zhang, Hsu-Chun Hsiao, Geoffrey Hasker, Haowen Chan, Adrian Perrig, David G. Andersen |
SCION: Scalability, Control, and Isolation on Next-Generation Networks.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Hugh Wimberly, Lorie M. Liebrock |
Using Fingerprint Authentication to Reduce System Security: An Empirical Study.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
risk compensation, user study, security policy, two-factor authentication |
| 2 | Ralf Küsters, Tomasz Truderung, Andreas Vogt |
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
privacy, voting, protocol analysis, verifiability, coercion-resistance |
| 2 | Philip W. L. Fong |
Preventing Sybil Attacks by Privilege Attenuation: A Design Principle for Social Network Systems.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
Principle of Privilege Attenuation, completeness of static analysis, access control, soundness, Sybil attacks, social network systems |
| 2 | Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra |
Automated Analysis of Security-Critical JavaScript APIs.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
APIs, Javascript, Language-Based Security, Points-to Analysis |
| 2 | Thai Duong, Juliano Rizzo |
Cryptography in the Web: The Case of Cryptographic Design Flaws in ASP.NET.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
Decryption oracle attack, Unauthenticated encryption, Cryptography, Web security, Application Security |
| 2 | Joseph A. Calandrino, Ann Kilzer, Arvind Narayanan, Edward W. Felten, Vitaly Shmatikov |
"You Might Also Like: " Privacy Risks of Collaborative Filtering.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Bryan Parno, Jacob R. Lorch, John R. Douceur, James W. Mickens, Jonathan M. McCune |
Memoir: Practical State Continuity for Protected Modules.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy |
Verified Security for Browser Extensions.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
security, verification, type system, extensions, web browsers, policy languages |
| 2 | Cynthia Sturton, Matthew Hicks, David Wagner, Samuel T. King |
Defeating UCI: Building Stealthy and Malicious Hardware.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
security, hardware, attack |
| 2 | Kirill Levchenko, Andreas Pitsillidis, Neha Chachra, Brandon Enright, Márk Félegyházi, Chris Grier, Tristan Halvorson, Chris Kanich, Christian Kreibich, He Liu, Damon McCoy, Nicholas Weaver, Vern Paxson, Geoffrey M. Voelker, Stefan Savage |
Click Trajectories: End-to-End Analysis of the Spam Value Chain.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Rui Wang 0010, Shuo Chen, XiaoFeng Wang, Shaz Qadeer |
How to Shop for Free Online - Security Analysis of Cashier-as-a-Service Based Web Stores.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
Cashier-as-a-Service, logic bug, program verification, web API, e-Commerce security |
| 2 | Kurt Thomas, Chris Grier, Justin Ma, Vern Paxson, Dawn Song |
Design and Evaluation of a Real-Time URL Spam Filtering Service.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Elie Bursztein, Mike Hamburg, Jocelyn Lagarenne, Dan Boneh |
OpenConflict: Preventing Real Time Map Hacks in Online Games.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
map hacks, multi-player games |
| 2 | Noah M. Johnson, Juan Caballero, Kevin Zhijie Chen, Stephen McCamant, Pongsin Poosankam, Daniel Reynaud, Dawn Song |
Differential Slicing: Identifying Causal Execution Differences for Security Applications.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf |
Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Chris A. Owen, Duncan A. Grove, Tristan Newby, Alex Murray, Chris J. North, Michael Pope |
PRISM: Program Replication and Integration for Seamless MILS.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
Multilevel systems, Application virtualization, Data storage systems, Software architecture, Information security, Computer security, File systems, Data security, Information entropy, Military computing |
| 2 | Jeffrey A. Vaughan, Stephen Chong |
Inference of Expressive Declassification Policies.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
declassification policies, inference of security policies, information flow, language-based security |
| 2 | David Gullasch, Endre Bangerter, Stephan Krenn |
Cache Games - Bringing Access-Based Cache Attacks on AES to Practice.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
access-based cache attacks, AES, side channel |
| 2 | Aleksandar Nanevski, Anindya Banerjee, Deepak Garg |
Verification of Information Flow and Access Control Policies with Dependent Types.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
Access Control, Information Flow, Type Theory |
| 2 | Andrew M. White 0002, Austin R. Matthews, Kevin Z. Snow, Fabian Monrose |
Phonotactic Reconstruction of Encrypted VoIP Conversations: Hookt on Fon-iks.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Ryan Henry, Ian Goldberg |
Formalizing Anonymous Blacklisting Systems.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
anonymous blacklisting, privacy-enhanced revocation, authentication, anonymity, privacy enhancing technologies |
| 2 | Michael Becher, Felix C. Freiling, Johannes Hoffmann, Thorsten Holz, Sebastian Uellenbeck, Christopher Wolf |
Mobile Security Catching Up? Revealing the Nuts and Bolts of the Security of Mobile Devices.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
survey, smartphones, mobile security |
| 2 | Matthew Fredrikson, Benjamin Livshits |
RePriv: Re-imagining Content Personalization and In-browser Privacy.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
Privacy, Personalization, Web Applications, Software Verification |
| 2 | Ryan Henry, Ian Goldberg |
Extending Nymble-like Systems.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
anonymous blacklisting, privacy-enhanced revocation, authentication, anonymity, privacy enhancing technologies |
| 2 | Elie Bursztein, Romain Beauxis, Hristo Paskov, Daniele Perito, Celine Fabry, John C. Mitchell |
The Failure of Noise-Based Non-continuous Audio Captchas.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Adam Waksman, Simha Sethumadhavan |
Silencing Hardware Backdoors.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
security, performance, hardware, obfuscation, triggers, backdoors |
| 2 | Yinqian Zhang, Ari Juels, Alina Oprea, Michael K. Reiter |
HomeAlone: Co-residency Detection in the Cloud via Side-Channel Analysis.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
Infrastructure-as-a-Service (IaaS), co-residency detection, Cloud computing, side-channel analysis |
| 2 | Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke |
The Complexity of Intransitive Noninterference.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
verification, information flow, noninterference |
| 2 | |
31st IEEE Symposium on Security and Privacy, S&P 2010, 16-19 May 2010, Berleley/Oakland, California, USA  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP BibTeX RDF |
|
| 2 | Maritza Johnson, John Karat, Clare-Marie Karat, Keith Grueneberg |
Optimizing a policy authoring framework for security and privacy policies.  |
SOUPS  |
2010 |
DBLP DOI BibTeX RDF |
security policy, privacy policy, user experience design, policy management, policy refinement, policy authoring |
| 2 | Nitesh Saxena, Jonathan Voris |
Still and Silent: Motion Detection for Enhanced RFID Security and Privacy without Changing the Usage Model.  |
RFIDSec  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Shuo Chen, Rui Wang 0010, XiaoFeng Wang, Kehuan Zhang |
Side-Channel Leaks in Web Applications: A Reality Today, a Challenge Tomorrow.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
side-channel-leak, encrypted traffic, ambiguity set, web application, Software-as-a-Service (SaaS), padding |
| 2 | Kapil Singh, Alexander Moshchuk, Helen J. Wang, Wenke Lee |
On the Incoherencies in Web Browser Access Control Policies.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Haowen Chan, Adrian Perrig |
Round-Efficient Broadcast Authentication Protocols for Fixed Topology Classes.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Multicast Authentication, Linear Topology, Path Topology, Fully Connected Topology, Broadcast Authentication |
| 2 | Paolo Milani Comparetti, Guido Salvaneschi, Engin Kirda, Clemens Kolbitsch, Christopher Kruegel, Stefano Zanero |
Identifying Dormant Functionality in Malware Programs.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
dormant functionality, binary analysis, malware analysis |
| 2 | Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan |
Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Probabilistic Optimization, Specification, Malware, Software Security |
| 2 | W. Douglas Maughan |
Crossing the "Valley of Death": Transitioning Research into Commercial Products - A Personal Perspective.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
open source, development, research, cybersecurity, small business, technology transition |
| 2 | Sergio Maffeis, John C. Mitchell, Ankur Taly |
Object Capabilities and Isolation of Untrusted Web Applications.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Operational Semantics, JavaScript, Capabilities, Language-based Security |
| 2 | Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song |
A Symbolic Execution Framework for JavaScript.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Tielei Wang, Tao Wei, Guofei Gu, Wei Zou |
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
dynamic taint analysis, symbolic execution, fuzzing |
| 2 | Allison B. Lewko, Amit Sahai, Brent Waters |
Revocation Systems with Very Small Private Keys.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Clemens Kolbitsch, Thorsten Holz, Christopher Kruegel, Engin Kirda |
Inspector Gadget: Automated Extraction of Proprietary Gadgets from Malware Binaries.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Margarita Osadchy, Benny Pinkas, Ayman Jarrous, Boaz Moskovich |
SCiFI - A System for Secure Face Identification.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
privacy, face recognition, Secure computation |
| 2 | Leo A. Meyerovich, V. Benjamin Livshits |
ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Web and client-side programming, language security, security policies, JavaScript, aspects, browsers |
| 2 | Jonathan M. McCune, Yanlin Li, Ning Qu, Zongwei Zhou, Anupam Datta, Virgil D. Gligor, Adrian Perrig |
TrustVisor: Efficient TCB Reduction and Attestation.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Minimal TCB, Virtualization, Trusted Computing, TPM, Attestation, Integrity Measurement |
| 2 | Zhi Wang, Xuxian Jiang |
HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Control-Flow Integrity, Hypervisor, Rootkits |
| 2 | Jason Bau, Elie Bursztein, Divij Gupta, John C. Mitchell |
State of the Art: Automated Black-Box Web Application Vulnerability Testing.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Karl Koscher, Alexei Czeskis, Franziska Roesner, Shwetak Patel, Tadayoshi Kohno, Stephen Checkoway, Damon McCoy, Brian Kantor, Danny Anderson, Hovav Shacham, Stefan Savage |
Experimental Security Analysis of a Modern Automobile.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
data buses, computer security, communication system security, Automobiles, communication standards |
| 2 | Elie Bursztein, Steven Bethard, Celine Fabry, John C. Mitchell, Daniel Jurafsky |
How Good Are Humans at Solving CAPTCHAs? A Large Scale Evaluation.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
image, audio, humans, captchas, mechanical turk |
| 2 | Gilbert Wondracek, Thorsten Holz, Engin Kirda, Christopher Kruegel |
A Practical Attack to De-anonymize Social Network Users.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi |
Reconciling Belief and Vulnerability in Information Flow.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
quantitative and probabilistic models, Security, uncertainty, information flow, accuracy, information hiding, vulnerability, belief, data confidentiality |
| 2 | Carl E. Landwehr |
History of US Government Investments in Cybersecurity Research: A Personal Perspective.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
cybersecurity research, research funding, NCO, NITRD, CSIA, information security, computer security, HPC, information assurance |
| 2 | Robin Sommer, Vern Paxson |
Outside the Closed World: On Using Machine Learning for Network Intrusion Detection.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
machine learning, intrusion detection, network security, anomaly detection |
| 2 | Steven J. Murdoch, Saar Drimer, Ross J. Anderson, Mike Bond |
Chip and PIN is Broken.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Chip and PIN, card fraud, bank security, protocol failure, authentication, EMV, security economics |
| 2 | Adam Waksman, Simha Sethumadhavan |
Tamper Evident Microprocessors.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
microprocessors, hardware security, backdoors |
| 2 | Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri |
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
small model theorem, SecVisor, security, model checking, hypervisor, reference monitor, parametric verification |
| 2 | Yao Liu, Peng Ning, Huaiyu Dai |
Authenticating Primary Users' Signals in Cognitive Radio Networks via Integrated Cryptographic and Wireless Link Signatures.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
primary user detection, link signatures, cognitive radio networks |
| 2 | Bryan Parno, Jonathan M. McCune, Adrian Perrig |
Bootstrapping Trust in Commodity Computers.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Code Identity, Trust, Trusted Computing, Bootstrap, TPM, Trusted Platform Module, Secure Boot |
| 2 | Edward J. Schwartz, Thanassis Avgerinos, David Brumley |
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask).  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
dynamic analysis, symbolic execution, taint analysis |
| 2 | Deepak Garg, Frank Pfenning |
A Proof-Carrying File System.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
proof-carrying authorization, Access control, logic, file system |
| 2 | Zhiyun Qian, Zhuoqing Morley Mao, Yinglian Xie, Fang Yu |
Investigation of Triangular Spamming: A Stealthy and Efficient Spamming Technique.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Matthew Hicks, Murph Finnicum, Samuel T. King, Milo M. K. Martin, Jonathan M. Smith |
Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle |
Towards Static Flow-Based Declassification for Legacy and Untrusted Programs.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Dominique Devriese, Frank Piessens |
Noninterference through Secure Multi-execution.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Secure Multi-Execution, Information Flow, Noninterference |
| 2 | Simone Fischer-Hübner, Steven Furnell, Costas Lambrinoudakis |
Exploring Trust, Security and Privacy in Digital Business.  |
T. Large-Scale Data- and Knowledge-Centered Systems  |
2009 |
DBLP DOI BibTeX RDF |
Digital Business, Security, Privacy, Trust |
| 2 | |
30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP BibTeX RDF |
|
| 2 | Rimma V. Nehme, Hyo-Sang Lim, Elisa Bertino, Elke A. Rundensteiner |
StreamShield: a stream-centric approach towards security and privacy in data stream environments.  |
SIGMOD Conference  |
2009 |
DBLP DOI BibTeX RDF |
security punctuations, access control, data streams |
| 2 | Ahmad-Reza Sadeghi, Ivan Visconti, Christian Wachsmann |
Anonymizer-Enabled Security and Privacy for RFID.  |
CANS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Tamara Denning, Cynthia Matuszek, Karl Koscher, Joshua R. Smith, Tadayoshi Kohno |
A spotlight on security and privacy risks with future household robots: attacks and lessons.  |
UbiComp  |
2009 |
DBLP DOI BibTeX RDF |
household robots, multi-robot attack, single-robot attack, security, privacy, robots, cyber-physical systems, domestic robots, ubiquitous robots |
| 2 | Bryan Parno, Jonathan M. McCune, Dan Wendlandt, David G. Andersen, Adrian Perrig |
CLAMP: Practical Prevention of Large-Scale Data Leaks.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Monirul I. Sharif, Andrea Lanzi, Jonathon T. Giffin, Wenke Lee |
Automatic Reverse Engineering of Malware Emulators.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Maxwell N. Krohn, Eran Tromer |
Noninterference for a Practical DIFC-Based Operating System.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | William Clarkson, Tim Weyrich, Adam Finkelstein, Nadia Heninger, J. Alex Halderman, Edward W. Felten |
Fingerprinting Blank Paper Using Commodity Scanners.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Arvind Narayanan, Vitaly Shmatikov |
De-anonymizing Social Networks.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Martin R. Albrecht, Kenneth G. Paterson, Gaven J. Watson |
Plaintext Recovery Attacks against SSH.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Haifeng Yu, Chenwei Shi, Michael Kaminsky, Phillip B. Gibbons, Feng Xiao |
DSybil: Optimal Sybil-Resistance for Recommendation Systems.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiang Cai, Yuwei Gui, Rob Johnson |
Exploiting Unix File-System Races via Algorithmic Complexity Attacks.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | George Danezis, Ian Goldberg |
Sphinx: A Compact and Provably Secure Mix Format.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Koen Simoens, Pim Tuyls, Bart Preneel |
Privacy Weaknesses in Biometric Sketches.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Adam Barth, Juan Caballero, Dawn Song |
Secure Content Sniffing for Web Browsers, or How to Stop Papers from Reviewing Themselves.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2767 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|