Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 20 of 37 for “"System Calls"”.

  1. Behaviour-based classification of encryption-type ransomware using system calls

    … threat in recent years, on the Android operating system. Many state-of-the-art anti-malware solutions have shifted away from static signature-based approaches as the techniques utilised by threat actors have become more advanced. Most newer solutions look towards the use of dynamic analysis to …

    waikato-masters Repository record for Behaviour-based classification of encryption-type ransomware using system calls (opens in a new tab)

  2. Incremental Bayesian segmentation for intrusion detection

    … describes an attempt to monitor patterns of system calls generated by a Unix host in order to detect potential intrusion attacks. Sequences of system calls generated by privileged processes are analyzed using incremental Bayesian segmentation in order to detect anomalous activity. Theoretical …

    mit Repository record for Incremental Bayesian segmentation for intrusion detection (opens in a new tab)

  3. The Triple Pot and techniques in distributed system call intrusion detection

    … engineers need to devise ways to protect their systems from hackers. One of the ways that they do this is through intrusion detection. Host based intrusion detection systems reside on the computer and perform internal diagnostics of a computer to detect malware and misuse. These HIDS use a …

    uiuc Repository record for The Triple Pot and techniques in distributed system call intrusion detection (opens in a new tab)

  4. File Usage Analysis and Resource Usage Prediction: A Measurement-Based Study

    … prediction using trace-data from a production system. A VAX 11/780 system running Berkeley UNIX was instrumented to gather file usage data, in the form of file-related system calls, and resource usage data for each process.

    uiuc Repository record for File Usage Analysis and Resource Usage Prediction: A Measurement-Based Study (opens in a new tab)

  5. Verifying an I/O-concurrent file system

    Systems software is a good target for verification due to its prevalent usage and its complexity, which can lead to tricky bugs that are hard to test for. One source of complexity in systems software is concurrency, but thus far verification techniques have struggled to enable large-scale …

    mit Repository record for Verifying an I/O-concurrent file system (opens in a new tab)

  6. Message passing in a factored OS

    … aims to build a next generation operating system (OS) for clouds and manycores with hundreds or thousands of cores. The key design tenant of fos is to break operating system services into collections of distributed system processes that communicate with message passing rather than shared …

    mit Repository record for Message passing in a factored OS (opens in a new tab)

  7. Design and Implementation of the VirtuOS Operating System

    Most operating systems provide protection and isolation to user processes, but not to critical system components such as device drivers or other systems code. Consequently, failures in these components often lead to system failures. VirtuOS is an operating system that exploits a new method of …

    vt Repository record for Design and Implementation of the VirtuOS Operating System (opens in a new tab)

  8. Practical Exploit Mitigation Design Against Code Re-Use and System Call Abuse Attacks

    … scalability all competing ideals in practical system design. At the same time, other recent efforts have implemented mechanisms with negligible performance impact, but do so at the risk of weaker security guarantees. This dissertation first formalizes the challenges in modern exploit mitigation …

    vt Repository record for Practical Exploit Mitigation Design Against Code Re-Use and System Call Abuse Attacks (opens in a new tab)

  9. Extracting and optimizing low-level bytecode from high-level verified Coq

    … MCQC, a compiler for extracting verified systems programs to low-level assembly, with no Runtime or Garbage Collection requirements and an emphasis on performance. MCQC targets the Gallina functional language used in the Coq proof assistant. MCQC translates pure and recursive functions …

    mit Repository record for Extracting and optimizing low-level bytecode from high-level verified Coq (opens in a new tab)

  10. Java Performance of the Rijndael Encryption Algorithm Across Compilers and Virtual Machines

    … of a Rijndael implementation in Java. Using Java system calls, the performance of the Rijndael implementation is measured across fifteen compilers and fourteen virtual machines. Through analysis of these benchmarks, the Java performance of the Rijndael algorithm across compilers and virtual …

    byu Repository record for Java Performance of the Rijndael Encryption Algorithm Across Compilers and Virtual Machines (opens in a new tab)

  11. A thread-based parallel programming library for numerical algorithms

    … functions. The library hides all internal system calls from the developer and utilizes thread pooling to provide better performance and utilization of system time and resources. The library is lightweight and platform independent, and has been tested on Linux, and Windows. Experiments were …

    mit Repository record for A thread-based parallel programming library for numerical algorithms (opens in a new tab)

  12. An Evaluation of the Linux Virtual Memory Manager to Determine Suitability for Runtime Variation of Memory

    Systems that support virtual memory virtualize the available physical memory such that the applications running on them operate under the assumption that these systems have a larger amount of memory available than is actually present. The memory managers of these systems manage the virtual and the …

    vt Repository record for An Evaluation of the Linux Virtual Memory Manager to Determine Suitability for Runtime Variation of Memory (opens in a new tab)

  13. The problems of allocating the cost of Coast Guard capital outlays in the Planning-Programming-Budgeting System

    … adopted the Planning- Programming-Budgeting System as the process for justification of its fiscal year 1968 budget request. The adopted system did not allocate the cost of capital outlays to the programs and program elements that would benefit from the investment in facilities. Full …

    nps Repository record for The problems of allocating the cost of Coast Guard capital outlays in the Planning-Programming-Budgeting System (opens in a new tab)

  14. pGNAT : the Ravenscar cross compiler for the Gurkh Project

    … design simplicity is offset by the complexity of system implementation. The Ravenscar profile of Ada95 defines safe tasking constructs that enable the use of deterministic concurrency. The translation of these high-level constructs by the compiler to deterministic object code is dependent on both …

    mit Repository record for pGNAT : the Ravenscar cross compiler for the Gurkh Project (opens in a new tab)

  15. Securing Cloud Containers through Intrusion Detection and Remediation

    … containers get integrated into mission-critical systems, real-time detection of malicious cyber attacks becomes a critical operational requirement. However, a little research has been conducted in this area. This research introduces an anomaly-based intrusion detection and remediation system for …

    vt Repository record for Securing Cloud Containers through Intrusion Detection and Remediation (opens in a new tab)

  16. Torpedo: A Fuzzing Framework for Discovering Adversarial Container Workloads

    … workloads and searches for sequences of system calls that break process isolation boundaries. TORPEDO combines traditional code coverage feedback with resource utilization measurements to motivate the generation of "adversarial" programs based on user-defined criteria. Experiments …

    vt Repository record for Torpedo: A Fuzzing Framework for Discovering Adversarial Container Workloads (opens in a new tab)

  17. Visit the Imprisoned: A Heuristic Inquiry into the Experiences of Catholic Detention Ministry Volunteers

    … have led me to wonder then, “Why does the prison system still exist to harm people despite the array of research condemning its practices?” Through this pondering, I critiqued the larger systems at play: the prison-industrial complex, the sociopolitical rhetoric of “tough on crime,” and the …

    chapman Repository record for Visit the Imprisoned: A Heuristic Inquiry into the Experiences of Catholic Detention Ministry Volunteers (opens in a new tab)

  18. Social and economic aspects of monopoly and pluralism in television broadcasting : a South African marketing perspective

    … based on an evaluation of relevant television system experience. In addition, this dissertation attempts to measure public attitudes to television's performance, organisation and regulation after eight years of operation. To date, no published research exists on these aspects of television …

    cape-town Repository record for Social and economic aspects of monopoly and pluralism in television broadcasting : a South African marketing perspective (opens in a new tab)

  19. Validation of a numerical model for the analysis of thermal-fluid behavior in a solar concentrator vessel

    … a more simple solar thermal energy generation system that additionally addresses the intermittence issue. The CSPond system calls for a large container in which special salt mixtures are molten by solar thermal energy. The large container also acts as a thermal energy storage to address the …

    mit Repository record for Validation of a numerical model for the analysis of thermal-fluid behavior in a solar concentrator vessel (opens in a new tab)

Page 1 of 2