Search results for "backdoors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	Loïc Duflot	CPU bugs, CPU backdoors and consequences on security.	Journal in Computer Virology	2009	DBLP DOI BibTeX RDF
2	Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal	Backdoors in the Context of Learning.	SAT	2009	DBLP DOI BibTeX RDF
2	Bistra N. Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann	Backdoors to Combinatorial Optimization: Feasibility and Optimality.	CPAIOR	2009	DBLP DOI BibTeX RDF	backdoor sets, search, variable selection
2	Stephan Kottler, Michael Kaufmann, Carsten Sinz	Computation of Renameable Horn Backdoors.	SAT	2008	DBLP DOI BibTeX RDF
2	Loïc Duflot	CPU Bugs, CPU Backdoors and Consequences on Security.	ESORICS	2008	DBLP DOI BibTeX RDF	hardware bug, hardware backdoor, CPU, x86
2	Peter Gregory, Maria Fox, Derek Long	A New Empirical Study of Weak Backdoors.	CP	2008	DBLP DOI BibTeX RDF
2	Aniruddha Bohra, Iulian Neamtiu, Pascal Gallard, Florin Sultan, Liviu Iftode	Remote Repair of Operating System State Using Backdoors.	ICAC	2004	DBLP DOI BibTeX RDF
1	Serge Gaspers, Stefan Szeider	Strong Backdoors to Nested Satisfiability	CoRR	2012	DBLP BibTeX RDF
1	Serge Gaspers, Stefan Szeider	Strong Backdoors to Bounded Treewidth SAT	CoRR	2012	DBLP BibTeX RDF
1	Stefan Hommes, Radu State, Thomas Engel	Detecting Stealthy Backdoors with Association Rule Mining.	Networking	2012	DBLP DOI BibTeX RDF
1	Johannes Klaus Fichte, Stefan Szeider	Backdoors to Tractable Answer-Set Programming	CoRR	2011	DBLP BibTeX RDF
1	Serge Gaspers, Stefan Szeider	Backdoors to Satisfaction	CoRR	2011	DBLP BibTeX RDF
1	Serge Gaspers, Stefan Szeider	Backdoors to Acyclic SAT	CoRR	2011	DBLP BibTeX RDF
1	Johannes Klaus Fichte, Stefan Szeider	Backdoors to Tractable Answer-Set Programming.	IJCAI	2011	DBLP BibTeX RDF
1	Zijie Li, Peter van Beek	Finding Small Backdoors in SAT Instances.	Canadian Conference on AI	2011	DBLP DOI BibTeX RDF
1	Chris Wysopal, Chris Eng, Tyler Shields	Static detection of application backdoors - Detecting both malicious software behavior and malicious indicators from the static analysis of executable code.	Datenschutz und Datensicherheit	2010	DBLP DOI BibTeX RDF
1	Adam Waksman, Simha Sethumadhavan	Tamper Evident Microprocessors.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	microprocessors, hardware security, backdoors
1	Ehab Al-Shaer	Automated management of network access control from design to enforcement.	SACMAT	2010	DBLP DOI BibTeX RDF
1	Hung-Min Sun, Mu-En Wu, Cheng-Ta Yang	Simple Backdoors on RSA Modulus by Using RSA Vulnerability.	IEICE Transactions	2009	DBLP BibTeX RDF
1	Sherri Sparks, Shawn Embleton, Cliff Changchun Zou	A chipset level network backdoor: bypassing host-based firewall & IDS.	ASIACCS	2009	DBLP DOI BibTeX RDF	network backdoor, rootkit, hardware security
1	Lang Lin, Markus Kasper, Tim Güneysu, Christof Paar, Wayne Burleson	Trojan Side-Channels: Lightweight Hardware Trojans through Side-Channel Engineering.	CHES	2009	DBLP DOI BibTeX RDF	Trojan Hardware, Trojan Side-Channel, Hardware Trojan Detection, Covert Channel, Side-Channel Analysis
1	Stephan Kottler, Michael Kaufmann, Carsten Sinz	A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors.	SAT	2008	DBLP DOI BibTeX RDF
1	Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal	Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing.	ISAIM	2008	DBLP BibTeX RDF
1	Weiqing Sun, R. Sekar, Zhenkai Liang, V. N. Venkatakrishnan	Expanding Malware Defense by Securing Software Installations.	DIMVA	2008	DBLP DOI BibTeX RDF	Untrusted code, Software installation, Malicious code, Sandboxing
1	Abhinav Srivastava, Jonathon T. Giffin	Tamper-Resistant, Application-Aware Blocking of Malicious Network Connections.	RAID	2008	DBLP DOI BibTeX RDF	virtual machine introspection, attack prevention, Firewall
1	Cheolho Lee, Kiwook Sohn	Detecting and Guarding against Kernel Backdoors through Packet Flow Differentials.	IEICE Transactions	2007	DBLP DOI BibTeX RDF
1	Heng Yin, Dawn Xiaodong Song, Manuel Egele, Christopher Kruegel, Engin Kirda	Panorama: capturing system-wide information flow for malware detection and analysis.	ACM Conference on Computer and Communications Security	2007	DBLP DOI BibTeX RDF	dynamic taint analysis, spyware, malware detection, malware analysis
1	A. Vartak, S. Ahmad, K. N. Gopinath	An Experimental Evaluation of Over-The-Air (OTA) Wireless Intrusion Prevention Techniques.	COMSWARE	2007	DBLP DOI BibTeX RDF
1	Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal	Tradeoffs in the Complexity of Backdoor Detection.	CP	2007	DBLP DOI BibTeX RDF
1	Adam L. Young, Moti Yung	Space-Efficient Kleptography Without Random Oracles.	Information Hiding	2007	DBLP DOI BibTeX RDF	twisted elliptic curves, elliptic curve, Key exchange, kleptography
1	Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais	From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.	MICAI	2007	DBLP DOI BibTeX RDF
1	Rebecca T. Mercuri, Vincent J. Lipsio, Beth Feehan	COTS and other electronic voting backdoors.	Commun. ACM	2006	DBLP DOI BibTeX RDF
1	Micha Moffie, Winnie Cheng, David R. Kaeli, Qin Zhao	Hunting Trojan Horses.	ASID	2006	DBLP DOI BibTeX RDF	information flow control, program monitoring, run time environment, data labeling
1	Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh	Backbones and Backdoors in Satisfiability.	AAAI	2005	DBLP BibTeX RDF
1	Florin Sultan, Aniruddha Bohra, Stephen Smaldone, Yufei Pan, Pascal Gallard, Iulian Neamtiu, Liviu Iftode	Recovering Internet Service Sessions from Operating System Failures.	IEEE Internet Computing	2005	DBLP DOI BibTeX RDF	remote healing, service session state, dependability, Recovery
1	Winfried E. Kühnhauser	Root Kits: an operating systems viewpoint.	Operating Systems Review	2004	DBLP DOI BibTeX RDF	error exploitation, error proliferation, kernel abstractions, mandatory and discretionary access control, privilege proliferation, secure program execution, reference monitor, trusted computing base, security domains, secure booting
1	Inês Lynce, João P. Marques Silva	Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study.	ICTAI	2004	DBLP DOI BibTeX RDF
1	Ryan Williams, Carla P. Gomes, Bart Selman	Backdoors To Typical Case Complexity.	IJCAI	2003	DBLP BibTeX RDF
1	Claude Crépeau, Alain Slakmon	Simple Backdoors for RSA Key Generation.	CT-RSA	2003	DBLP DOI BibTeX RDF
1	Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler	MECA: an extensible, expressive system and language for statically checking security properties.	ACM Conference on Computer and Communications Security	2003	DBLP DOI BibTeX RDF	annotation language, static analysis
1	James P. Early, Carla E. Brodley, Catherine Rosenberg	Behavioral Authentication of Server Flows.	ACSAC	2003	DBLP DOI BibTeX RDF
1	Adam L. Young, Moti Yung	Backdoor Attacks on Black-Box Ciphers Exploiting Low-Entropy Plaintexts.	ACISP	2003	DBLP DOI BibTeX RDF	hidden ciphers, obfuscated ciphers, black-box ciphers, Huffman compression, reverse-engineering, data compression, entropy, subliminal channel, Digital Rights Management (DRM), Symmetric ciphers, kleptography
1	Claude Crépeau, Alain Slakmon	Simple backdoors to RSA key generation.	IACR Cryptology ePrint Archive	2002	DBLP BibTeX RDF
1	Xiaolan Zhang, Leendert van Doorn, Trent Jaeger, Ronald Perez, Reiner Sailer	Secure coprocessor-based intrusion detection.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
1	Anna Entrichel, James Bergman, Jason Willis, Herb Little	Computing Without Wires (Or Even a Net): The Pitfalls, Potentials, and Practicality of Wireless Networking.	ACSAC	2001	DBLP DOI BibTeX RDF
1	Cristina Cifuentes, Trent Waddington, Mike Van Emmerik	Computer Security Analysis through Decompilation and High-Level Debugging. (PDF / PS)	WCRE	2001	DBLP DOI BibTeX RDF	security, reverse engineering, debugging, Decompilation
1	Jai Menon, David K. Hsiao	Access Control Mechanism of a Database Computer (DBC).	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF