Search results for "OpenBSD"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Paul Luo Li, James D. Herbsleb, Mary Shaw	Forecasting Field Defect Rates Using a Combined Time-Based and Metrics-Based Approach: A Case Study of OpenBSD.	ISSRE	2005	DBLP DOI BibTeX RDF	Metrics-based modeling, deployment and usage metrics, software and hardware configurations metrics, Reliability, Measurement, Management, open source software, Experimentation, comparative study
50	Catherine Dodge, Cynthia E. Irvine, Thuy D. Nguyen	A study of initialization in Linux and OpenBSD.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF	Linux
50	Paul Luo Li, James D. Herbsleb, Mary Shaw	Finding Predictors of Field Defects for Open Source Software Systems in Commonly Available Data Sources: A Case Study of OpenBSD.	IEEE METRICS	2005	DBLP DOI BibTeX RDF	Field defect prediction, CVS repository, request tracking system, mailing list archives, deployment and usage metrics, software and hardware configurations metrics, Reliability, Measurement, Documentation, open source software, Experimentation, reliability modeling, Software quality assurance, Product metrics, Process metrics, Software science
36	Sotiris Ioannidis, Angelos D. Keromytis, Steven M. Bellovin, Jonathan M. Smith	Implementing a distributed firewall.	CCS	2000	DBLP DOI BibTeX RDF	OpenBSD, access control, network security, distributed, IP, trust management, firewalls, IPsec, credentials, KeyNote, IKE
31	Adriana Nicolae, Paul Irofti, Ioana Leustean	OpenBSD formal driver verification with SeL4.	CoRR	2023	DBLP DOI BibTeX RDF
31	Jian Shi, Deqing Zou, Shouhuai Xu, Xianjun Deng, Hai Jin 0001	Does OpenBSD and Firefox's Security Improve With Time?	IEEE Trans. Dependable Secur. Comput.	2023	DBLP DOI BibTeX RDF
31	Adriana Nicolae, Paul Irofti, Ioana Leustean	OpenBSD Formal Driver Verification with SeL4.	SecITC	2023	DBLP DOI BibTeX RDF
31	Gábor Lencse, Sandor Repas	Performance Analysis and Comparison of Different DNS64 Implementations for Linux, OpenBSD and FreeBSD.	AINA	2013	DBLP DOI BibTeX RDF
31	Gerardo Canfora, Luigi Cerulo, Marta Cimitile, Massimiliano Di Penta	Social interactions around cross-system bug fixings: the case of FreeBSD and OpenBSD.	MSR	2011	DBLP DOI BibTeX RDF
31	Andy Ozment, Stuart E. Schechter	The Security of OpenBSD: Milk or Wine?	login Usenix Mag.	2006	DBLP BibTeX RDF
31	Liguo Yu, Stephen R. Schach, Kai Chen 0010, Gillian Z. Heller, A. Jefferson Offutt	Maintainability of the kernels of open-source operating systems: A comparison of Linux with FreeBSD, NetBSD, and OpenBSD.	J. Syst. Softw.	2006	DBLP DOI BibTeX RDF
31	Garhan Attebury, Byrav Ramamurthy	Router and Firewall Redundancy with OpenBSD and CARP.	ICC	2006	DBLP DOI BibTeX RDF
31	Massimiliano Adamo, Mauro Tablò	Linux vs. OpenBSD: A Firewall Performance Test.	login Usenix Mag.	2005	DBLP BibTeX RDF
31	Yanek Korff, Paco Hope, Bruce Potter	Mastering FreeBSD and OpenBSD security - building, securing, and maintaining BSD systems.		2005	RDF
31	David S. H. Rosenthal	A Digital Preservation Appliance Based on OpenBSD	CoRR	2003	DBLP BibTeX RDF
31	David S. H. Rosenthal	A Digital Preservation Network Appliance Based on OpenBSD.	BSDCon	2003	DBLP BibTeX RDF
31	Angelos D. Keromytis, Jason L. Wright, Theo de Raadt	The Design of the {OpenBSD} Cryptographic Framework.	USENIX Annual Technical Conference, General Track	2003	DBLP BibTeX RDF
31	Daniel Hartmeier	Design and Performance of the OpenBSD Stateful Packet Filter (pf).	USENIX Annual Technical Conference, FREENIX Track	2002	DBLP BibTeX RDF
31	Theo de Raadt, Niklas Hallqvist, Artur Grabowski, Angelos D. Keromytis, Niels Provos	Cryptography in OpenBSD: An Overview.	USENIX Annual Technical Conference, FREENIX Track	1999	DBLP BibTeX RDF
20	Daniel M. Germán, Massimiliano Di Penta, Yann-Gaël Guéhéneuc, Giuliano Antoniol	Code siblings: Technical and legal implications of copying code between applications.	MSR	2009	DBLP DOI BibTeX RDF
20	Sam Jansen, Anthony McGregor	Validation of simulated real world TCP stacks.	WSC	2007	DBLP DOI BibTeX RDF
20	Constantine A. Murenin	Generalised Interfacing with Microprocessor System Hardware Monitors.	ICNSC	2007	DBLP DOI BibTeX RDF
20	Angelos D. Keromytis, Jason L. Wright, Theo de Raadt, Matthew Burnside	Cryptography as an operating system service: A case study.	ACM Trans. Comput. Syst.	2006	DBLP DOI BibTeX RDF	authentication, digital signatures, Encryption, hash functions, cryptographic protocols
20	Matthew Burnside, Angelos D. Keromytis	The case for crypto protocol awareness inside the OS kernel.	SIGARCH Comput. Archit. News	2005	DBLP DOI BibTeX RDF
20	Sam Jansen, Anthony McGregor	Measured Comparative Performance of TCP Stacks.	PAM	2005	DBLP DOI BibTeX RDF
20	Sam Jansen, Anthony McGregor	Simulation with real world network stacks.	WSC	2005	DBLP DOI BibTeX RDF
20	Steven J. Murdoch, Stephen Lewis	Embedding Covert Channels into TCP/IP.	Information Hiding	2005	DBLP DOI BibTeX RDF
20	Ahmed E. Hassan, Richard C. Holt	The Top Ten List: Dynamic Fault Prediction.	ICSM	2005	DBLP DOI BibTeX RDF
20	Hovav Shacham, Matthew Page, Ben Pfaff, Eu-Jin Goh, Nagendra Modadugu, Dan Boneh	On the effectiveness of address-space randomization.	CCS	2004	DBLP DOI BibTeX RDF	address-space randomization, automated attacks, diversity
20	Paul Luo Li, Mary Shaw, James D. Herbsleb, Bonnie K. Ray, Peter Santhanam	Empirical evaluation of defect projection models for widely-deployed production software systems.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	maintenance resource planning, software insurance, open source software, COTS, empirical research, defect modeling
20	Jon Heffley, Pascal Meunier	Can Source Code Auditing Software Identify Common Vulnerabilities and Be Used to Evaluate Software Security?	HICSS	2004	DBLP DOI BibTeX RDF
20	Ahmed E. Hassan, Richard C. Holt	Studying the Chaos of Code Development.	WCRE	2003	DBLP DOI BibTeX RDF
20	Yichen Xie 0001, Andy Chou, Dawson R. Engler	ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	memory access errors, security, static analysis, error detection, buffer overflow, buffer overrun
20	Ken Ashcraft, Dawson R. Engler	Using Programmer-Written Compiler Extensions to Catch Security Holes.	S&P	2002	DBLP DOI BibTeX RDF	metacompilation, system-specific static analysis, security holes, tools
20	Dawson R. Engler, David Yu Chen, Andy Chou	Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code.	SOSP	2001	DBLP DOI BibTeX RDF
20	Frank Dabek, M. Frans Kaashoek, David R. Karger, Robert Tappan Morris, Ion Stoica	Wide-Area Cooperative Storage with CFS.	SOSP	2001	DBLP DOI BibTeX RDF
20	Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler	An Empirical Study of Operating System Errors.	SOSP	2001	DBLP DOI BibTeX RDF	Linux