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. Party System Congruence and Bicameralism

   https://doi.org/10.1177/00104140241302767  

   Kim, Wooseok; Hicken, Allen; Kollman, Ken (November 2024, Comparative Political Studies)

   We compare the nature of party systems across bicameral legislatures using newly available data on upper chamber elections. We examine the similarity in the composition of political parties between the lower and upper chambers (partisan congruence) and introduce a novel measure that captures differences in the nationalization of parties between the two chambers (nationalization congruence). We explore variations in these measures across countries and over time and demonstrate that the power of the upper chamber (symmetry) is linked to both forms of congruence. Moreover, we apply these measures to understand how the interaction between congruence and symmetry—two key dimensions of bicameralism—influences policymaking, focusing on government spending patterns. Our findings reveal that partisan and nationalization congruence can have contrasting implications for government spending in symmetric bicameral systems but have negligible implications in asymmetric bicameral systems. 

   more » « less
4. 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
5. 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)