Search results for "overflows"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
84	Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar	Testing for buffer overflows with length abstraction.	ISSTA	2008	DBLP DOI BibTeX RDF	length abstractions, underapproximation, buffer overflows, testing c programs, directed testing
59	Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang 0001	Modular checking for buffer overflows in the large.	ICSE	2006	DBLP DOI BibTeX RDF	annotation design, annotation inference, modular analysis, buffer overflows
48	Qian Huang 0003, King-Tim Ko, Villy Bæk Iversen	Approximation of loss calculation for hierarchical networks with multiservice overflows.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
48	Asia Slowinska, Herbert Bos	The Age of Data: Pinpointing Guilty Bytes in Polymorphic Buffer Overflows on Heap or Stack.	ACSAC	2007	DBLP DOI BibTeX RDF	attack analysis, honeypots, intrusion detection and prevention
48	Misha Zitser, Richard Lippmann, Tim Leek	Testing static analysis tools using exploitable buffer overflows from open source code.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	test detection, security, evaluation, static analysis, source code, buffer overflow, exploit, false alarm
48	Christopher Dahn, Spiros Mancoridis	Using Program Transformation to Secure C Programs Against Buffer Overflows.	WCRE	2003	DBLP DOI BibTeX RDF
48	Daniel P. Heyman	Mathematical Models of Database Degradation.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	data overflows, file organization
47	Yueping Zhang, Dmitri Loguinov	Oscillations and buffer overflows in video streaming under non-negligible queuing delay.	NOSSDAV	2004	DBLP DOI BibTeX RDF	stability, delay, video streaming, buffer overflows
37	Wei Le, Mary Lou Soffa	Marple: a demand-driven path-sensitive buffer overflow detector.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF
37	Sandeep Bhatkar, R. Sekar 0001	Data Space Randomization.	DIMVA	2008	DBLP DOI BibTeX RDF	address space randomization, buffer overflow, memory error
37	Christof Fetzer, Zhen Xiao	Detecting Heap Smashing Attacks through Fault Containment Wrappers.	SRDS	2001	DBLP DOI BibTeX RDF
37	Jong Hyuk Choi, Kyu Ho Park	Segment Directory Enhancing the Limited Directory Cache Coherence Schemes.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
36	Xavier Allamigeon, Charles Hymans	Static analysis by abstract interpretation: application to the detection of heap overflows.	J. Comput. Virol.	2008	DBLP DOI BibTeX RDF
36	Yves Younan, Wouter Joosen, Frank Piessens	Efficient Protection Against Heap-Based Buffer Overflows Without Resorting to Magic.	ICICS	2006	DBLP DOI BibTeX RDF
36	Alexander Kesselman, Zvi Lotker, Yishay Mansour, Boaz Patt-Shamir	Buffer Overflows of Merging Streams.	ESA	2003	DBLP DOI BibTeX RDF
35	Yves Younan, Pieter Philippaerts, Lorenzo Cavallaro, R. Sekar 0001, Frank Piessens, Wouter Joosen	PAriCheck: an efficient pointer arithmetic checker for C programs.	AsiaCCS	2010	DBLP DOI BibTeX RDF	bounds checking, buffer overflows
35	Stelios Sidiroglou, Angelos D. Keromytis	Countering Network Worms Through Automatic Patch Generation.	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF	software patching, process sandboxing, Worms, buffer overflows, honeypots, viruses, memory protection
35	Prasasth Palnati, Emilio Leonardi, Mario Gerla	Bidirectional shufflenet: a multihop topology for backpressure flow control.	ICCCN	1995	DBLP DOI BibTeX RDF	multihop topology, backpressure flow control, bidirectional shufflenet, multihop virtual topology, optical backbone network, high speed electronic LAN, Supercomputer SuperNet, hop by hop flow control, shufflenet topology, bidirectional links, average hops, bilayered shufflenet, worm length, simulation, performance, delay, throughput, optical networks, wormhole routing, buffer overflows, telecommunication congestion control
35	Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe	An Acyclic Expansion Algorithm for Fast Protocol Validation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	acyclic expansion algorithm, protocol errors, system deadlocks, channel overflows, protocols, finite state machines, program verification, finite automata, system recovery, state transitions, computer communications software, protocol validation, communications software
25	Patrice Godefroid, Johannes Kinder	Proving memory safety of floating-point computations by combining static and dynamic program analysis.	ISSTA	2010	DBLP DOI BibTeX RDF	static and dynamic program analysis, program verification
25	Vijay Nagarajan, Dennis Jeffrey, Rajiv Gupta 0001	Self-recovery in server programs.	ISMM	2009	DBLP DOI BibTeX RDF	memory propagation, self cleansing, self recovery
25	Hans Vandierendonck, André Seznec	Speculative return address stack management revisited.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	Return address prediction, back-up predictor, corruption detection
25	Behram Khan, Matthew Horsnell, Ian Rogers, Mikel Luján, Andrew Dinn, Ian Watson	A first insight into object-aware hardware transactional memory.	SPAA	2008	DBLP DOI BibTeX RDF	object-oriented programming, transactional memory, concurrent programming
25	Maciej J. Zawodniok, Sarangapani Jagannathan	Energy-efficient Rate Adaptation MAC Protocol for Ad Hoc Wireless Networks.	Int. J. Wirel. Inf. Networks	2007	DBLP DOI BibTeX RDF	Wireless sensor networks, Energy-efficiency, Dynamic programming, Congestion control, Rate adaptation
25	R. Krishnan, S. Murali Krishna, Nishil Bharill	Code quality tools: learning from our experience.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	buffer overflow and memory corruption, memory leak, code quality
25	Qian Huang 0003, King-Tim Ko, Villy Bæk Iversen	An Approximation Method for Multiservice Loss Performance in Hierarchical Networks.	ITC	2007	DBLP DOI BibTeX RDF	overlay network, Hierarchical network, overflow
25	Angelo Brayner, Ronaldo Menezes	Balancing energy consumption and memory usage in sensor data processing.	SAC	2007	DBLP DOI BibTeX RDF	resource-aware algorithms, wireless sensor networks, in-network aggregation, adaptive query processing
25	Simha Sethumadhavan, Franziska Roesner, Joel S. Emer, Doug Burger, Stephen W. Keckler	Late-binding: enabling unordered load-store queues.	ISCA	2007	DBLP DOI BibTeX RDF	network flow control, memory disambiguation, late binding
25	Michael Dalton, Hari Kannan, Christos Kozyrakis	Raksha: a flexible information flow architecture for software security.	ISCA	2007	DBLP DOI BibTeX RDF	semantic vulnerabilities, dynamic, software security
25	Rupesh S. Shelar, Sachin S. Sapatnekar, Prashant Saxena, Xinning Wang	A predictive distributed congestion metric with application to technology mapping.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
25	F. M. Puchkov, K. A. Shapchenko	Static Analysis Method for Detecting Buffer Overflow Vulnerabilities.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
25	Lei Wang, James R. Cordy, Thomas R. Dean	Enhancing Security Using Legality Assertions.	WCRE	2005	DBLP DOI BibTeX RDF
25	Rémi Douence, Thomas Fritz 0001, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, Mario Südholt	An expressive aspect language for system applications with Arachne.	AOSD	2005	DBLP DOI BibTeX RDF	aspect language, dynamic weaving, sequence pointcut, system applications
25	Zhenkai Liang, R. Sekar 0001	Automatic Generation of Buffer Overflow Attack Signatures: An Approach Based on Program Behavior Models.	ACSAC	2005	DBLP DOI BibTeX RDF
25	Stig Andersson, Andrew J. Clark, George M. Mohay, Bradley L. Schatz, Jacob Zimmermann	A Framework for Detecting Network-based Code Injection Attacks Targeting Windows and UNIX.	ACSAC	2005	DBLP DOI BibTeX RDF
25	David Chase, Yossi Lev	Dynamic circular work-stealing deque.	SPAA	2005	DBLP DOI BibTeX RDF	deque, load balancing, lock-free, work stealing
25	Stefan Leue, Richard Mayr, Wei Wei 0015	A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.	SPIN	2004	DBLP DOI BibTeX RDF
25	Jiahua Zhu, HongJiang Zhang, Hui Shi, Binyu Zang, Chuanqi Zhu	Overflow Controlled SIMD Arithmetic.	LCPC	2004	DBLP DOI BibTeX RDF
25	Liu Yang, Sun Chan, Guang R. Gao, Roy Ju, Guei-Yuan Lueh, Zhaoqing Zhang	Inter-procedural stacked register allocation for itanium® like architecture.	ICS	2003	DBLP DOI BibTeX RDF	hot region, inter-procedural stacked register allocation, quota assignment, register allocation, hotspot
25	Peter B. Danzig	Finite Buffers and Fast Multicast.	SIGMETRICS	1989	DBLP DOI BibTeX RDF
24	Teodor Chiaburu, Felix Biessmann	Interpretable Time Series Models for Wastewater Modeling in Combined Sewer Overflows.	CoRR	2024	DBLP DOI BibTeX RDF
24	Bin Zhang, Jiongyi Chen, Runhao Li, Chao Feng, Ruilin Li, Chaojing Tang	Automated Exploitable Heap Layout Generation for Heap Overflows Through Manipulation Distance-Guided Fuzzing.	USENIX Security Symposium	2023	DBLP BibTeX RDF
24	Konrad Hohentanner, Florian Kasten, Lukas Auer	HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading.	SOAP@PLDI	2023	DBLP DOI BibTeX RDF
24	Alexander Küchler, Leon Wenning, Florian Wendland	AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation.	AsiaCCS	2023	DBLP DOI BibTeX RDF
24	Eric Wikman, Thuy D. Nguyen, Cynthia E. Irvine	ODSS: A Ghidra-based Static Analysis Tool for Detecting Stack-Based Buffer Overflows.	HICSS	2023	DBLP BibTeX RDF
24	Raphaël Khoury	A Taxonomy of Software Flaws Leading to Buffer Overflows.	QRS	2022	DBLP DOI BibTeX RDF
24	Zhen Huang 0002	Runtime Recovery for Integer Overflows.	ICSRS	2022	DBLP DOI BibTeX RDF
24	Benjamin Charlier, Jean Feydy, Joan Alexis Glaunès, François-David Collin, Ghislain Durif	Kernel Operations on the GPU, with Autodiff, without Memory Overflows.	J. Mach. Learn. Res.	2021	DBLP BibTeX RDF
24	Elad Rapaport, Ingmar Poese, Polina Zilberman, Oliver Holschke, Rami Puzis	Spillover Today? Predicting Traffic Overflows on Private Peering of Major Content Providers.	IEEE Trans. Netw. Serv. Manag.	2021	DBLP DOI BibTeX RDF
24	Paul Muntean, Martin Monperrus, Hao Sun, Jens Grossklags, Claudia Eckert 0001	IntRepair: Informed Repairing of Integer Overflows.	IEEE Trans. Software Eng.	2021	DBLP DOI BibTeX RDF
24	Zhilong Wang, Li Yu, Suhang Wang, Peng Liu	Spotting Silent Buffer Overflows in Execution Trace through Graph Neural Network Assisted Data Flow Analysis.	CoRR	2021	DBLP BibTeX RDF
24	Nicholas Maltbie, Nan Niu, Matthew Van Doren, Reese Johnson	XAI tools in the public sector: a case study on predicting combined sewer overflows.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
24	Sonia Calvari, Federico Di Traglia, Gaetana Ganci, Flora Giudicepietro, Giovanni Macedonio, Annalisa Cappello, Teresa Nolesini, Emilio Pecora, Giuseppe Bilotta, Veronica Centorrino, Claudia Corradino, Nicola Casagli, Ciro Del Negro	Overflows and Pyroclastic Density Currents in March-April 2020 at Stromboli Volcano Detected by Remote Sensing and Seismic Monitoring Data.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
24	Diana Qing Tao, Martin Pleau, Angela Akridge, Olivier Fradet, François Grondin, Stephanie Laughlin, Wolffie Miller, Leslie Shoemaker	Analytics and Optimization Reduce Sewage Overflows to Protect Community Waterways in Kentucky.	INFORMS J. Appl. Anal.	2020	DBLP DOI BibTeX RDF
24	Elad Rapaport, Ingmar Poese, Polina Zilberman, Oliver Holschke, Rami Puzis	Predicting traffic overflows on private peering.	CoRR	2020	DBLP BibTeX RDF
24	Benjamin Charlier, Jean Feydy, Joan Alexis Glaunès, François-David Collin, Ghislain Durif	Kernel Operations on the GPU, with Autodiff, without Memory Overflows.	CoRR	2020	DBLP BibTeX RDF
24	Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler	Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications.	MODELSWARD (Revised Selected Papers)	2020	DBLP DOI BibTeX RDF
24	Krisztian Mark Balla, Christian Schou, Jan Dimon Bendtsen, Carsten Skovmose Kallesøe	Multi-scenario Model Predictive Control of Combined Sewer Overflows in Urban Drainage Networks.	CCTA	2020	DBLP DOI BibTeX RDF
24	Hongyu Liu 0005, Ruiqin Tian, Tongping Liu, Bin Ren	Prober: Practically Defending Overflows with Page Protection.	ASE	2020	DBLP DOI BibTeX RDF
24	Mariusz Glabowski, Damian Kmiecik, Maciej Stasiak	Overflows in Multiservice Systems.	IEICE Trans. Commun.	2019	DBLP DOI BibTeX RDF
24	Sean Heelan, Tom Melham, Daniel Kroening	Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters.	CCS	2019	DBLP DOI BibTeX RDF
24	Roman Demidov, Alexander I. Pechenkin, Peter D. Zegzhda	An Approach to Vulnerability Searching of Integer Overflows in the Executable Program Code.	Autom. Control. Comput. Sci.	2018	DBLP DOI BibTeX RDF
24	Paul Muntean, Martin Monperrus, Hao Sun, Jens Grossklags, Claudia Eckert 0001	IntRepair: Informed Fixing of Integer Overflows.	CoRR	2018	DBLP BibTeX RDF
24	Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck	Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows.	CoRR	2018	DBLP BibTeX RDF
24	Vladimir Kiriansky, Carl A. Waldspurger	Speculative Buffer Overflows: Attacks and Defenses.	CoRR	2018	DBLP BibTeX RDF
24	Farshid Salemi Parizi, Josh Fromm, Shantanu Deshpande, Shwetak N. Patel	RoyalFlush: non-invasive water level monitor to prevent toilet overflows.	IOT	2018	DBLP DOI BibTeX RDF
24	Loui Al Sardy, Francesca Saglietti, Tong Tang, Heiko Sonnenberg	Constraint-Based Testing for Buffer Overflows.	SAFECOMP Workshops	2018	DBLP DOI BibTeX RDF
24	Martin Frieb, Alexander Stegmeier, Jörg Mische, Theo Ungerer	Lightweight Hardware Synchronization for Avoiding Buffer Overflows in Network-on-Chips.	ARCS	2018	DBLP DOI BibTeX RDF
24	Andreea Bican, Razvan Deaconescu, Wei-Ngan Chin, Quang-Trung Ta	Verification of C Buffer Overflows in C Programs.	RoEduNet	2018	DBLP DOI BibTeX RDF
24	Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck	Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows.	NSS	2018	DBLP DOI BibTeX RDF
24	I. A. Dudina, A. A. Belevantsev	Using static symbolic execution to detect buffer overflows.	Program. Comput. Softw.	2017	DBLP DOI BibTeX RDF
24	Liang He, Yan Cai 0001, Hong Hu 0004, Purui Su, Zhenkai Liang, Yi Yang 0040, Huafeng Huang, Jia Yan, Xiangkun Jia, Dengguo Feng	Automatically assessing crashes from heap overflows.	ASE	2017	DBLP DOI BibTeX RDF
24	Muhammad Safeer Khan	An acoustic based approach for mitigating sewer system overflows.	GHTC	2016	DBLP DOI BibTeX RDF
24	Erick Leon, Stefan D. Bruda	Counter-Measures against Stack Buffer Overflows in GNU/Linux Operating Systems.	ANT/SEIT	2016	DBLP DOI BibTeX RDF
24	Hao Sun, Xiangyu Zhang 0001, Yunhui Zheng, Qingkai Zeng 0002	IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions.	ICSE	2016	DBLP DOI BibTeX RDF
24	Martin Clochard, Jean-Christophe Filliâtre, Andrei Paskevich	How to Avoid Proving the Absence of Integer Overflows.	VSTTE	2015	DBLP DOI BibTeX RDF
24	Qiang Zeng 0001, Mingyi Zhao, Peng Liu 0005	HeapTherapy: An Efficient End-to-End Solution against Heap Buffer Overflows.	DSN	2015	DBLP DOI BibTeX RDF
24	Dmitry Bankov, Evgeny M. Khorov, Andrey I. Lyakhov	Is it worth to predict overflows during video streaming over wireless networks?	BlackSeaCom	2015	DBLP DOI BibTeX RDF
24	Aleksandar Milicevic, Daniel Jackson 0001	Preventing arithmetic overflows in Alloy.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
24	Hector Marco-Gisbert, Ismael Ripoll	On the Effectiveness of NX, SSP, RenewSSP, and ASLR against Stack Buffer Overflows.	NCA	2014	DBLP DOI BibTeX RDF
24	Alex Shaw, Dusten Doggett, Munawar Hafiz	Automatically Fixing C Buffer Overflows Using Program Transformations.	DSN	2014	DBLP DOI BibTeX RDF
24	Daniel Kästner, Christian Ferdinand	Proving the Absence of Stack Overflows.	SAFECOMP	2014	DBLP DOI BibTeX RDF
24	Alex Shaw	Program transformations to fix C buffer overflows.	ICSE Companion	2014	DBLP DOI BibTeX RDF
24	Raphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quintão Pereira	A fast and low-overhead technique to secure programs against integer overflows.	CGO	2013	DBLP DOI BibTeX RDF
24	Tetsuo Yamada, Rizka Aisha Rahmi Hariadi, Shota Tsuchiya	Queueing Modeling of Material Sorting Disassembly System with Overflows.	MIM	2013	DBLP DOI BibTeX RDF
24	István Haller, Asia Slowinska, Matthias Neugschwandtner, Herbert Bos	Dowsing for Overflows: A Guided Fuzzer to Find Buffer Boundary Violations.	USENIX Security Symposium	2013	DBLP BibTeX RDF
24	Nick Nikiforakis, Frank Piessens, Wouter Joosen	HeapSentry: Kernel-Assisted Protection against Heap Overflows.	DIMVA	2013	DBLP DOI BibTeX RDF
24	Jie Chen, Xiaoguang Mao	Bodhi: Detecting Buffer Overflows with a Game.	SERE (Companion)	2012	DBLP DOI BibTeX RDF
24	Domenico Cotroneo, Roberto Natella	Monitoring of Aging Software Systems Affected by Integer Overflows.	ISSRE Workshops	2012	DBLP DOI BibTeX RDF
24	Asia Slowinska, Traian Stancescu, Herbert Bos	Body Armor for Binaries: Preventing Buffer Overflows Without Recompilation.	USENIX Annual Technical Conference	2012	DBLP BibTeX RDF
24	Aleksandar Milicevic, Daniel Jackson 0001	Preventing Arithmetic Overflows in Alloy.	ABZ	2012	DBLP DOI BibTeX RDF
24	Jonathan Held	Buffer Overflows: Stack-Based.	Encyclopedia of Information Assurance	2011	DBLP DOI BibTeX RDF
24	Sean M. Price	Buffer Overflows: Attacks.	Encyclopedia of Information Assurance	2011	DBLP DOI BibTeX RDF
24	Sergey Bratus, Michael E. Locasto, Meredith L. Patterson, Len Sassaman, Anna Shubina	Exploit Programming: From Buffer Overflows to "Weird Machines" and Theory of Computation.	login Usenix Mag.	2011	DBLP BibTeX RDF
24	Masana Murase	Eliminating Cell Broadband EngineTM DMA Buffer Overflows.	IEICE Trans. Inf. Syst.	2010	DBLP DOI BibTeX RDF
24	Steven Van Acker, Nick Nikiforakis, Pieter Philippaerts, Yves Younan, Frank Piessens	ValueGuard: Protection of Native Applications against Data-Only Buffer Overflows.	ICISS	2010	DBLP DOI BibTeX RDF
24	Kristopher Watts, Paul W. Oman	Stack-Based Buffer Overflows in Harvard Class Embedded Systems.	Critical Infrastructure Protection	2009	DBLP DOI BibTeX RDF
24	Yair Wiseman, Joel Isaacson, Eliad Lubovsky	Eliminating the threat of kernel stack overflows.	IRI	2008	DBLP DOI BibTeX RDF
24	Jonathan S. Held	Stack-Based Buffer Overflows.	Information Security Management Handbook, 6th ed.	2007	DBLP DOI BibTeX RDF
24	Surekha Mariam Varghese, K. Poulose Jacob	Buffer Overflows: Exploitation and Detection.	IMECS	2007	DBLP BibTeX RDF