Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleFebruary 2024
FreePart: Hardening Data Processing Software via Framework-based Partitioning and Isolation
ASPLOS '23: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4March 2023, Pages 169–188https://doi.org/10.1145/3623278.3624760Data processing oriented software, especially machine learning applications, are heavily dependent on standard frameworks/libraries such as TensorFlow and OpenCV. As those frameworks have gained significant popularity, the exploitation of vulnerabilities ...
- research-articleNovember 2014
Software Security and Randomization through Program Partitioning and Circuit Variation
MTD '14: Proceedings of the First ACM Workshop on Moving Target DefenseNovember 2014, Pages 79–86https://doi.org/10.1145/2663474.2663484The commodity status of Field Programmable Gate Arrays (FPGAs) has allowed computationally intensive algorithms, such as cryptographic protocols, to take advantage of faster hardware speed while simultaneously leveraging the reconfigurability and lower ...
- ArticleSeptember 2012
Assessing software interference management when modifying safety-related software
SAFECOMP'12: Proceedings of the 2012 international conference on Computer Safety, Reliability, and SecuritySeptember 2012, Pages 132–145https://doi.org/10.1007/978-3-642-33675-1_11Many systems deliberately manage interference between software components, e.g. through partitioning. When engineers modifying such software determine which items of verification evidence have been invalidated by changes, they consider interference ...
- articleJuly 2012
Robust Software Partitioning with Multiple Instantiation
INFORMS Journal on Computing (INFORMS-IJOC), Volume 24, Issue 3Summer 2012, Pages 500–515https://doi.org/10.1287/ijoc.1110.0467The purpose of software partitioning is to assign code segments of a given computer program to a range of execution locations such as general-purpose processors or specialist hardware components. These execution locations differ in speed, communication ...
- ArticleMarch 2011
Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations
ISORCW '11: Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing WorkshopsMarch 2011, Pages 33–40https://doi.org/10.1109/ISORCW.2011.40This paper presents a low-level memory and hardware model suitable for analyzing embedded systems software written in high-level languages such as C. The key feature of this approach is that it combines information that can be discovered from the C code ...
- research-articleJune 2007
Exploring software partitions for fast security processing on a multiprocessor mobile SoC
IEEE Transactions on Very Large Scale Integration (VLSI) Systems (ITVL), Volume 15, Issue 6June 2007, Pages 699–710https://doi.org/10.1109/TVLSI.2007.898740The functionality of mobile devices, such as cell phones and personal digital assistants (PDAs), has evolved to include various applications where security is a critical concern (secure web transactions, mobile commerce, download and playback of ...
- ArticleAugust 2006
A generic software partitioning algorithm for pervasive computing
WASA'06: Proceedings of the First international conference on Wireless Algorithms, Systems, and ApplicationsAugust 2006, Pages 57–68https://doi.org/10.1007/11814856_8The ever-changing context and resource limitation of mobile devices and wireless network are two challenges in the development of pervasive computing application. In this paper, we present a generic optimal partitioning algorithm of mobile applications ...
- ArticleJuly 2006
Software architecture exploration for high-performance security processing on a multiprocessor mobile SoC
DAC '06: Proceedings of the 43rd annual Design Automation ConferenceJuly 2006, Pages 496–501https://doi.org/10.1145/1146909.1147040We present a systematic methodology for exploring the security processing software architecture for a commercial heterogeneous multiprocessor system-on-chip (SoC) for mobile devices. The SoC contains multiple host processors executing applications and a ...
- articleOctober 2004
Applications of clustering techniques to software partitioning, recovery and restructuring
Journal of Systems and Software (JSSO), Volume 73, Issue 2October 2004, Pages 227–244https://doi.org/10.1016/S0164-1212(03)00234-6The artifacts constituting a software system are sometimes unnecessarily coupled with one another or may drift over time. As a result, support of software partitioning, recovery, and restructuring is often necessary. This paper presents studies on ...
- ArticleJune 1996
A Framework for Automated Software Partitioning and Mapping for Distributed Multiprocessors
ISPAN '96: Proceedings of the 1996 International Symposium on Parallel Architectures, Algorithms and NetworksJune 1996, Page 138One of the major impediments to the widespread use of large- scale, distributed memory multiprocessors is the difficulty of efficiently partitioning and mapping application algorithms onto these machines so as to extract a large portion of the machines' ...
- research-articleOctober 1989
Sofiware Partitioning for Distributed, Sequential, Pipelined Applications
IEEE Transactions on Software Engineering (ISOF), Volume 15, Issue 10October 1989, Pages 1270–1279https://doi.org/10.1109/TSE.1989.559779First Page of the Article