Search results for "memory protection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Martín Abadi, Tim Harris, Mojtaba Mehrara	Transactional memory with strong atomicity using off-the-shelf memory protection hardware.	PPOPP	2009	DBLP DOI BibTeX RDF	transactional memory, stm, memory protection, strong atomicity
3	Mojtaba Mehrara, Todd M. Austin	Exploiting selective placement for low-cost memory protection.	TACO	2008	DBLP DOI BibTeX RDF	Partial memory protection, selective placement, transient faults, fault-tolerant design, memory system design
3	Ram Kumar, Eddie Kohler, Mani B. Srivastava	Harbor: software-based memory protection for sensor nodes.	IPSN	2007	DBLP DOI BibTeX RDF	software fault isolation, memory protection
3	Mojtaba Mehrara, Todd M. Austin	Reliability-aware data placement for partial memory protection in embedded processors.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	memory lifetime, partial memory protection, selective data placement, embedded systems, soft errors
3	Jianli Shen, Guru Venkataramani, Milos Prvulovic	Tradeoffs in fine-grained heap memory protection.	ASID	2006	DBLP DOI BibTeX RDF	heap security, protection granularity, memory protection
3	Emmett Witchel, Junghwan Rhee, Krste Asanovic	Mondrix: memory isolation for linux using mondriaan memory protection.	SOSP	2005	DBLP DOI BibTeX RDF	fine-grained memory protection
3	Shoji Suzuki, Kang G. Shin	On memory protection in real-time OS for small embedded systems.	RTCSA	1997	DBLP DOI BibTeX RDF	real-time OS, small embedded systems, region enlargement, memory consumption, processing overhead, intermediate-level skip multi-size paging, multi-level paging, short-circuit segment tree, real-time systems, reliability, safety, microprocessors, paged segmentation, hardware support, memory protection
3	João Carlos Cunha, João Gabriel Silva	DELFIM: Error Detection by Thin Memory Protection.	EUROMICRO	1996	DBLP DOI BibTeX RDF	thin memory protection, VME standard board, detection capability, DELFIM, error detection, error detection, concurrent error detection, error recovery, fault tolerant system
2	Michael Stilkerich, Daniel Lohmann, Wolfgang Schröder-Preikschat	Memory protection at option.	EDCC-CARS	2010	DBLP DOI BibTeX RDF
2	Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani	ISOLATOR: dynamically ensuring isolation in comcurrent programs.	ASPLOS	2009	DBLP DOI BibTeX RDF	concurreny, isolation, memory protection
2		TinyOS 2.1 adding threads and memory protection to TinyOS.	SenSys	2008	DBLP DOI BibTeX RDF	tinyos, memory safety, threading models
2	Yoonseo Choi, Hwansoo Han	Shared heap management for memory-limited java virtual machines.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	heap sharing, memory protection unit, garbage collection, Dynamic memory management
2	Ram Kumar, Akhilesh Singhania, Andrew Castner, Eddie Kohler, Mani B. Srivastava	A System For Coarse Grained Memory Protection In Tiny Embedded Processors.	DAC	2007	DBLP DOI BibTeX RDF
2	Kun Zhang, Tao Zhang, Santosh Pande	Memory Protection through Dynamic Access Control.	MICRO	2006	DBLP DOI BibTeX RDF
2	Ted Huffmire, Shreyas Prasad, Timothy Sherwood, Ryan Kastner	Policy-Driven Memory Protection for Reconfigurable Hardware.	ESORICS	2006	DBLP DOI BibTeX RDF	Embedded Systems, Computer Security, Security Policies, Policy Languages, Reference Monitors, Separation Kernels
2	Yoonseo Choi, Hwansoo Han	Protected heap sharing for memory-constrained java environments.	CASES	2006	DBLP DOI BibTeX RDF	heap sharing, memory protection unit, garbage collection, dynamic memory management
2	Thorvald Natvig, Anne C. Elster	Automatic and Transparent Optimizations of an Application's MPI Communication.	PARA	2006	DBLP DOI BibTeX RDF	Automatic Optimization, MPI, Memory Protection
2	Radim Ballner, Pavel Tvrdík	MOOSS: CPU Architecture with Memory Protection and Support for OOP.	Asia-Pacific Computer Systems Architecture Conference	2003	DBLP DOI BibTeX RDF
2	Emmett Witchel, Josh Cates, Krste Asanovic	Mondrian memory protection.	ASPLOS	2002	DBLP DOI BibTeX RDF
2	Khawar M. Zuberi, Kang G. Shin	EMERALDS: a microkernel for embedded real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	EMERALDS, real time microkernel, small to medium size embedded systems, standard OS services, multi threaded processes, kernel size, user level address space, user level server, full memory protection, communication protocol stacks, user level servers, uniprocessor version, Motorola 68040 processor, protected address spaces, 13 KByte, scheduling, real-time systems, message passing, message passing, device drivers, operating system kernels, system calls, embedded real time systems, microkernel, context switch, semaphores
1	Ioannis Doudalis, James A. Clause, Guru Venkataramani, Milos Prvulovic, Alessandro Orso	Effective and Efficient Memory Protection Using Dynamic Tainting.	IEEE Trans. Computers	2012	DBLP DOI BibTeX RDF
1	Amitabha Roy 0002, Steven Hand, Timothy L. Harris	Hybrid binary rewriting for memory access instrumentation.	VEE	2011	DBLP DOI BibTeX RDF
1	Siarhei Liakh, Michael C. Grace, Xuxian Jiang	Analyzing and improving Linux kernel memory protection: a model checking approach.	ACSAC	2010	DBLP DOI BibTeX RDF
1	Ruirui C. Huang, Daniel Y. Deng, G. Edward Suh	Orthrus: efficient software integrity protection on multi-cores.	ASPLOS	2010	DBLP DOI BibTeX RDF	replication-aware architecture, software diversity and redundancy, software security, multi-core architecture, memory protection
1	Arrvindh Shriraman, Sandhya Dwarkadas	Sentry: light-weight auxiliary memory access control.	ISCA	2010	DBLP DOI BibTeX RDF	sentry, access control, multiprocessors, safety, cache coherence, memory protection, protection domains
1	Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat	KESO: an open-source multi-JVM for deeply embedded systems.	JTRES	2010	DBLP DOI BibTeX RDF	KESO, OSEK/VDX, spatial isolation, Java, embedded systems, memory protection, AUTOSAR
1	Chunxiao Li, Anand Raghunathan, Niraj K. Jha	Secure Virtual Machine Execution under an Untrusted Management OS.	IEEE CLOUD	2010	DBLP DOI BibTeX RDF	computing as a service, cloud computing, virtual machine, memory protection, trusted computing base
1	Alex Depoutovitch, Michael Stumm	Otherworld: giving applications a chance to survive OS kernel crashes.	EuroSys	2010	DBLP DOI BibTeX RDF	crash kernel, microreboot, recovery, kernel
1	Hailun Tan, Wen Hu, Sanjay Jha	A hardware-based remote attestation protocol in wireless sensor networks.	IPSN	2010	DBLP DOI BibTeX RDF	wireless sensor networks, trusted platform module, remote attestation
1	Monirul I. Sharif, Wenke Lee, Weidong Cui, Andrea Lanzi	Secure in-VM monitoring using hardware virtualization.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	kernel integrity, virtual machines, malware, secure monitoring
1	Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark	Grace: safe multithreaded programming for C/C++.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic concurrency, sequential semantics, concurrency, determinism, fork-join
1	Yutaka Oiwa	Implementation of the memory-safe full ANSI-C compiler.	PLDI	2009	DBLP DOI BibTeX RDF	c language, memory safety
1	Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black	Fast byte-granularity software fault isolation.	SOSP	2009	DBLP DOI BibTeX RDF	device drivers, isolation
1	Kaushik Kumar Ram, Jose Renato Santos, Yoshio Turner, Alan L. Cox, Scott Rixner	Achieving 10 Gb/s using safe and transparent network interface virtualization.	VEE	2009	DBLP DOI BibTeX RDF	performance analysis, networking, virtual machine, virtualization, device drivers, i/o
1	Bo Li, Panyong Zhang, Zhigang Huo, Dan Meng	Early Experiences with Write-Write Design of NFS over RDMA.	NAS	2009	DBLP DOI BibTeX RDF
1	Lanfranco Lopriore	Hardware/Compiler Memory Protection in Sensor Nodes.	IJCNS	2008	DBLP DOI BibTeX RDF
1	Lee Baugh, Naveen Neelakantam, Craig B. Zilles	Using Hardware Memory Protection to Build a High-Performance, Strongly-Atomic Hybrid Transactional Memory.	ISCA	2008	DBLP DOI BibTeX RDF
1	Xiaoxin Chen, Tal Garfinkel, E. Christopher Lewis, Pratap Subrahmanyam, Carl A. Waldspurger, Dan Boneh, Jeffrey S. Dwoskin, Dan R. K. Ports	Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems.	ASPLOS	2008	DBLP DOI BibTeX RDF	cloaking, multi-shadowing, operating systems, virtual machine monitors, hypervisors, memory protection, VMM
1	Nirmal Weerasinghe, Geoff Coulson	Lightweight module isolation for sensor nodes.	MobiVirt	2008	DBLP DOI BibTeX RDF	MMU less architecture, sensor networks, memory management, isolation, memory protection
1	Ted Huffmire, Brett Brotherton, Nick Callegari, Jonathan Valamehr, Jeff White, Ryan Kastner, Timothy Sherwood	Designing secure systems on reconfigurable hardware.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	controlled sharing, enforcement mechanisms, security primitives, Field programmable gate arrays (FPGAs), static analysis, advanced encryption standard (AES), security policies, systems-on-a-chip (SoCs), separation, isolation, memory protection, reference monitors, hardware security, execution monitors
1	Hyun Jun Jang, Dae Won Hwang, Eul-Gyu Im	Data Protection in Memory Using Byte Reordering.	ISI Workshops	2008	DBLP DOI BibTeX RDF	Information Security, Data Protection, Memory protection
1	Prashant Dewan, David Durham, Hormuzd Khosravi, Men Long, Gayathri Nagabhushan	A hypervisor-based system for protecting software runtime memory and persistent storage.	SpringSim	2008	DBLP DOI BibTeX RDF	runtime memory, performance evaluation, computer security, virtual machine monitor, hypervisor
1	Yan Liu, Ted Wong	Component Architecture and Modeling for Microkernel-Based Embedded System Development.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Embedded system, component, model driven development
1	Stefan Groesbrink, Timo Kerstan	Modular paging with dynamic TLB partitioning for embedded real-time systems.	SIES	2008	DBLP DOI BibTeX RDF
1	James A. Clause, Ioannis Doudalis, Alessandro Orso, Milos Prvulovic	Effective memory protection using dynamic tainting.	ASE	2007	DBLP DOI BibTeX RDF	illegal memory accesses, hardware support, dynamic tainting
1	Udaya Seshua, Nagaraju Bussa, Bart Vermeulen	A Run-Time Memory Protection Methodology.	ASP-DAC	2007	DBLP DOI BibTeX RDF
1	Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr	Efficient memory safety for TinyOS.	SenSys	2007	DBLP DOI BibTeX RDF	cXprop, deputy, safe TinyOS, wireless sensor networks, TinyOS, type safety, memory safety, nesC
1	Glenn Ammons, Jonathan Appavoo, Maria A. Butrico, Dilma Da Silva, David Grove, Kiyokuni Kawachiya, Orran Krieger, Bryan S. Rosenburg, Eric Van Hensbergen, Robert W. Wisniewski	Libra: a library operating system for a jvm in a virtualized execution environment.	VEE	2007	DBLP DOI BibTeX RDF	exokernels, virtualization, JVM, xen
1	Karthikeyan Vaidyanathan, Lei Chai, Wei Huang, Dhabaleswar K. Panda	Efficient asynchronous memory copy operations on multi-core systems and I/OAT.	CLUSTER	2007	DBLP DOI BibTeX RDF
1	Jeffrey Shafer, David Carr, Aravind Menon, Scott Rixner, Alan L. Cox, Willy Zwaenepoel, Paul Willmann	Concurrent Direct Network Access for Virtual Machine Monitors.	HPCA	2007	DBLP DOI BibTeX RDF
1	Yehua Gu, Xiaoyang Zeng, Jun Han, Jia Zhao	A Low-cost and High-performance SoC Design for OMA DRM2 Applications.	ISCAS	2007	DBLP DOI BibTeX RDF
1	Jangwoo Kim, Nikos Hardavellas, Ken Mai, Babak Falsafi, James C. Hoe	Multi-bit Error Tolerant Caches Using Two-Dimensional Error Coding.	MICRO	2007	DBLP DOI BibTeX RDF
1	Ted Huffmire, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine	Moats and Drawbridges: An Isolation Primitive for Reconfigurable Hardware Based Systems.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
1	Uma Maheswar Rao, Suneel Sinha, Naveen Shenoy	Tutorial IND1B: Realtime Operating Systems for Embedded Systems Development.	VLSI Design	2007	DBLP DOI BibTeX RDF
1	G. Edward Suh, Charles W. O'Donnell, Srinivas Devadas	Aegis: A Single-Chip Secure Processor.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	Aegis, FPGA, architecture, secure processor, single chip
1	Akram Khan, Achim Schaefer, Markus Zetlmeisl	Efficient Memory-Protected Integration of Add-On Software Subsystems in Small Embedded Automotive Applications.	IEEE Trans. Industrial Informatics	2007	DBLP DOI BibTeX RDF
1	Onur Aciiçmez, Çetin Kaya Koç, Jean-Pierre Seifert	Predicting Secret Keys Via Branch Prediction.	CT-RSA	2007	DBLP DOI BibTeX RDF	Simultaneous Multi-threading, RSA, Branch Prediction, Side Channel Analysis, Montgomery Multiplication, Modular Exponentiation
1	Mihai Budiu, Úlfar Erlingsson, Martín Abadi	Architectural support for software-based protection.	ASID	2006	DBLP DOI BibTeX RDF	control-flow integrity, software fault isolation, security, control-flow graph, hardware support, memory protection, binary rewriting
1	James Horey, Jean-Charles Tournier, Arthur B. Maccabe	Kaizen: improving sensor network operating systems.	SenSys	2006	DBLP DOI BibTeX RDF	sensor networks, operating systems, memory protection
1	Ranjit Jhala, Rupak Majumdar	Bit level types for high level reasoning.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	model checking, type inference, bit vectors
1	Dag Arne Osvik, Adi Shamir, Eran Tromer	Cache Attacks and Countermeasures: The Case of AES.	CT-RSA	2006	DBLP DOI BibTeX RDF	cache, cryptanalysis, AES, side-channel attack, memory access
1	Stelios Sidiroglou, Angelos D. Keromytis	Countering Network Worms Through Automatic Patch Generation.	IEEE Security & Privacy	2005	DBLP DOI BibTeX RDF	software patching, process sandboxing, Worms, buffer overflows, honeypots, viruses, memory protection
1	Matthew S. Simpson, Bhuvan Middha, Rajeev Barua	Segment protection for embedded systems using run-time checks.	CASES	2005	DBLP DOI BibTeX RDF	MMU, MPU, ewmbedded systems, safe languages, segment protection, segmentation violations, reliability, compilers, virtual memory, memory safety, run-time checks
1	Chih-Chieh Han, Ram Kumar, Roy Shea, Eddie Kohler, Mani B. Srivastava	A dynamic operating system for sensor nodes.	MobiSys	2005	DBLP DOI BibTeX RDF
1	Godmar Back, Wilson C. Hsieh	The KaffeOS Java runtime system.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	language runtimes, Robustness, virtual machines, resource management, garbage collection, termination, isolation
1	Lap-Chung Lam, Tzi-cker Chiueh	Checking Array Bound Violation Using Segmentation Hardware.	DSN	2005	DBLP DOI BibTeX RDF
1	Tatsuo Nakajima, Midori Sugaya, Shuichi Oikawa	Oparating Systems For Building Robust Embedded SDystem.	WORDS	2005	DBLP DOI BibTeX RDF
1	Simon Winwood, Manuel M. T. Chakravarty	Secure Untrusted Binaries - Provably!.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
1	Frank Bellosa	When physical is not real enough.	ACM SIGOPS European Workshop	2004	DBLP DOI BibTeX RDF
1	Gergely Pintér, István Majzik	Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms.	EUROMICRO	2004	DBLP DOI BibTeX RDF
1	Weidong Shi, Hsien-Hsin S. Lee, Mrinmoy Ghosh, Chenghuai Lu	Architectural Support for High Speed Protection of Memory Integrity and Confidentiality in Multiprocessor Systems.	IEEE PACT	2004	DBLP DOI BibTeX RDF
1	Reinhard Seyer, Christian Siemers, Rainer Falsett, Klaus H. Ecker, Harald Richter	Robust Partitioning for Reliable Real-Time Systems.	IPDPS	2004	DBLP DOI BibTeX RDF	Mechatronic System, Time Supervision, Reliability, Distributed Real-Time Systems, Imprecise Computation
1	Emmett Witchel, Krste Asanovic	Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection.	HotOS	2003	DBLP BibTeX RDF
1	Yukikazu Nakamoto	Operating System Supports to Enhance Fault Tolerance of Real-Time Systems.	WORDS	2003	DBLP DOI BibTeX RDF	Virtual Memory Management, Translation Look a side Buffer (TLB), Real-time Operating System, RISC Processor
1	Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser	Legba: Fast Hardware Support for Fine-Grained Protection.	Asia-Pacific Computer Systems Architecture Conference	2003	DBLP DOI BibTeX RDF
1	Frank W. Miller	Simple Memory Protection for Embedded Operating System Kernels.	USENIX Annual Technical Conference, FREENIX Track	2002	DBLP BibTeX RDF
1	Boris Polianskikh, Zeljko Zilic	Design and Implementation of Error Detection and Correction Circuitry for Multilevel Memory Protection. (PDF / PS)	ISMVL	2002	DBLP DOI BibTeX RDF
1	Austin Donnelly	Lightweight Thread Tunnelling in Network Applications.	IWAN	2002	DBLP DOI BibTeX RDF
1	Antony L. Hosking, Jiawan Chen	Mostly-copying Reachability-based Orthogonal Persistence.	OOPSLA	1999	DBLP DOI BibTeX RDF	C++, Modula-3
1	Darrell D. E. Long	A Note on Bit-Mapped Free Sector Management.	Operating Systems Review	1993	DBLP DOI BibTeX RDF
1	Jeffrey S. Chase, Valérie Issarny, Henry M. Levy	Distribution in a single address space operating system.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
1	Mitsuhisa Sato, Shuichi Ichikawa, Eiichi Goto	Run-Time Checking in Lisp by Integrating Memory Addressing and Range Checking.	ISCA	1989	DBLP DOI BibTeX RDF	LISP
1	John J. Metzner	Convolutionally Encoded Memory Protection.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF
1	Maurice V. Wilkes	Hardware Support for Memory Protection: Capability Implementations.	ASPLOS	1982	DBLP DOI BibTeX RDF
1	Douglas Cook	Measuring Memory Protection.	ICSE	1978	DBLP BibTeX RDF
1	Forest Baskett, John H. Howard, John T. Montague	Task Communication in DEMOS.	SOSP	1977	DBLP DOI BibTeX RDF
1	Roger M. Needham	The CAP Project - An Interim Evaluation.	SOSP	1977	DBLP DOI BibTeX RDF
1	Andrei P. Ershov, V. E. Itkin	Correctness of Mixed Computation in Algol-Like Programs.	MFCS	1977	DBLP DOI BibTeX RDF
1	Butler W. Lampson	Redundancy and Robustness in Memory Protection.	IFIP Congress	1974	DBLP BibTeX RDF
1	Malcolm C. Harrison	Implementations of the SHARER2 time-sharing system.	Commun. ACM	1968	DBLP DOI BibTeX RDF	submonitor, suboperating system, monitor, operating system, multiprogramming, time-sharing, memory protection
1	Earl C. Van Horn	Three criteria for designing computing systems to facilitate debugging.	Commun. ACM	1968	DBLP DOI BibTeX RDF	computer design criteria, computer systems design, computing reliability, deterministic computers, input equipment, input equipment design, multiprogrammed system design, multiprogrammed systems, parallel processing, parallel programming, parallel, debugging, operating systems, programming, programming languages, information security, program testing, determinism, program debugging, protection, multiprogramming, multiprocessing, repeatability, computer systems, memory protection, reproducibility, programming language semantics, programming language design, virtual computers, computer design, information privacy, program semantics, operating systems design, multi processing