More Like this

1. Draco: Architectural and Operating System Support for System Call Security

   https://doi.org/10.1109/MICRO50266.2020.00017  

   Skarlatos, Dimitrios; Chen, Qingrong; Chen, Jianyan; Xu, Tianyin; Torrellas, Josep (October 2020, In Proceedings of the 53rd IEEE/ACM International Symposium on Microarchitecture (MICRO-53))

   null (Ed.)

   Abstract—System call checking is extensively used to protect the operating system kernel from user attacks. However, existing solutions such as Seccomp execute lengthy rule-based checking programs against system calls and their arguments, leading to substantial execution overhead. To minimize checking overhead, this paper proposes Draco, a new architecture that caches system call IDs and argument values after they have been checked and validated. System calls are first looked-up in a special cache and, on a hit, skip all checks. We present both a software and a hardware implementation of Draco. The latter introduces a System Call Lookaside Buffer (SLB) to keep recently-validated system calls, and a System Call Target Buffer to preload the SLB in advance. In our evaluation, we find that the average execution time of macro and micro benchmarks with conventional Seccomp checking is 1.14_ and 1.25_ higher, respectively, than on an insecure baseline that performs no security checks. With our software Draco, the average execution time reduces to 1.10_ and 1.18_ higher, respectively, than on the insecure baseline. With our hardware Draco, the execution time is within 1% of the insecure baseline. 

   more » « less
2. System Description : JGXYZ An ATP System for Gap and Glut Logics

   https://doi.org/10.1007/978-3-030-29436-6_31  

   Sutcliffe, G.; Pelletier, F.J. (July 2019, Lecture notes in computer science)

   This paper describes an ATP system, named JGXYZ, for some gap and glut logics. JGXYZ is based on an equi-provable translation to FOL, followed by use of an existing ATP system for FOL. A key feature of JGXYZ is that the translation to FOL is data-driven, in the sense that it requires only the addition of a new logic’s truth tables for the unary and binary connectives in order to produce an ATP system for the logic. Experimental results from JGXYZ illustrate the dierences between the logics and translated problems, both technically and in terms of a quasi-real-world use case. 

   more » « less
3. Empirical Evidence for Kahneman's System 1 and System 2 Thinking in Design

   Kannengiesser, U; Gero, John S (April 2019, Human Behavior in Design)

   This paper analyses design protocols of professional engineers and engineering students using the FBS schema, testing two hypotheses related to the use of system 1 and system 2 thinking. These two modes of thinking are characterised as: one that is fast and intuitive (system 1), and one that is slow and tedious (system 2). Their relevance for design thinking has already been shown conceptually. This paper provides empirical support for the existence of system 1 design thinking and system 2 design thinking. 

   more » « less
4. Within-System and Cross-System Behavior-Based Biometric Authentication in Virtual Reality

   https://doi.org/10.1109/VRW50115.2020.00070  

   Miller, Robert; Banerjee, Natasha Kholgade; Banerjee, Sean (March 2020, IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops)
5. Empirical evidence for Kahneman's system 1 and system 2 thinking in design

   Kannengiesser, Udo; Gero, John S. (January 2019, Human Behavior in Design89-100)

   This paper analyses design protocols of professional engineers and engineering students using the FBS schema, testing two hypotheses related to the use of system 1 and system 2 thinking. These two modes of thinking are characterised as: one that is fast and intuitive (system 1), and one that is slow and tedious (system 2). Their relevance for design thinking has already been shown conceptually. This paper provides empirical support for the existence of system 1 design thinking and system 2 design thinking. 

   more » « less