English
Related papers

Related papers: WIP: Turning Fake Chips into Learning Opportunitie…

200 papers

This innovative practice WIP paper describes \emph{LITE-SOC}, a lightweight web-based Security Operations Center (SOC) simulator designed for instructor-led cybersecurity education. SOC analysts must triage large volumes of alerts, separate…

Cryptography and Security · Computer Science 2026-05-19 Martin Higgins , Shawn Thompson , Cherry Mangla

Quantum computing systems and fundamental physics experiments using superconducting technologies frequently require signal amplification chains operating near the quantum limit of added noise. Both Josephson parametric amplifiers (JPAs) and…

Plagiarism detection in programming education faces growing challenges due to increasingly sophisticated obfuscation techniques, particularly automated refactoring-based attacks. While code plagiarism detection systems used in education…

Software Engineering · Computer Science 2025-10-30 Robin Maisch , Larissa Schmid , Timur Sağlam , Nils Niehues

Background: In this paper, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate…

Software Engineering · Computer Science 2024-08-20 Konstantin Läufer , Gunda Mertin , George K. Thiruvathukal

Modern circuits face various threats like reverse engineering, theft of intellectual property (IP), side-channel attacks, etc. Here, we present a novel approach for IP protection based on logic encryption (LE). Unlike established schemes…

Counterfactuals, or modified inputs that lead to a different outcome, are an important tool for understanding the logic used by machine learning classifiers and how to change an undesirable classification. Even if a counterfactual changes a…

Machine Learning · Computer Science 2024-05-21 Jesse Friedbaum , Sudarshan Adiga , Ravi Tandon

Prevailing fingerprint recognition systems are vulnerable to spoof attacks. To mitigate these attacks, automated spoof detectors are trained to distinguish a set of live or bona fide fingerprints from a set of known spoof fingerprints.…

Computer Vision and Pattern Recognition · Computer Science 2019-04-09 Joshua J. Engelsma , Anil K. Jain

The true-differential superconductor on-chip amplifier has complementary outputs that float with respect to chip ground. This improves signal integrity and compatibility with the receiving semiconductor stage. Both source-terminated and…

Applied Physics · Physics 2022-03-23 Jonathan Egan , Andrew Brownfield , Quentin Herr

Empirical research in reverse engineering and software protection is crucial for evaluating the efficacy of methods designed to protect software against unauthorized access and tampering. However, conducting such studies with professional…

Software Engineering · Computer Science 2026-03-05 Tab , Zhang , Bjorn De Sutter , Christian Collberg , Bart Coppens , Waleed Mebane

Generative deep learning models are able to create realistic audio and video. This technology has been used to impersonate the faces and voices of individuals. These ``deepfakes'' are being used to spread misinformation, enable scams,…

Artificial Intelligence · Computer Science 2023-06-06 Guy Frankovits , Yisroel Mirsky

Purpose: The purpose of this paper is to examine how a clinical interview protocol with failure artifact scenarios can capture changes in high school students' explanations of troubleshooting processes in physical computing activities. We…

Computers and Society · Computer Science 2024-12-06 Luis Morales-Navarro , Deborah A. Fields , Yasmin B. Kafai , Deepali Barapatre

This correspondence presents an open-source tool AutoAmp developed at the Indian Institute of Technology, Guwahati. It is available at http://sourceforge.net/projects/autoamp-iitg/ This tool helps the user to design different types of…

Other Computer Science · Computer Science 2012-09-20 Om Prasad Patri , K. Sanmukh Rao

Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on properties of the inner ML modules. While learning algorithms aim to…

Systems and Control · Computer Science 2018-12-20 Tommaso Dreossi , Alexandre Donzé , Sanjit A. Seshia

This Work-In-Progress Paper for the Innovative Practice Category presents a novel experiment in active learning of cybersecurity. We introduced a new workshop on hacking for an existing science-popularizing program at our university. The…

Computers and Society · Computer Science 2019-03-12 Valdemar Švábenský , Jan Vykopal

PCBs are the core components for the devices ranging from the consumer electronics to military applications. Due to the accessibility of the PCBs, they are vulnerable to the attacks such as probing, eavesdropping, and reverse engineering.…

Cryptography and Security · Computer Science 2019-04-23 Zimu Guo , Xiaolin Xu , Mark M. Tehranipoor , Domenic Forte

Verification is a critical aspect of designing front-end (FE) readout ASICs for High-Energy Physics (HEP) experiments. These ASICs share several similar functional features, resulting in similar verification objectives, which can be…

High Energy Physics - Experiment · Physics 2026-01-26 M. Lupi S. Esposito , X. Llopart-Cudie , A. Pulli , S. Scarfí , N. Kharwadkar

Nontrivial capacitance behavior, including a negative capacitance (NC) effect, observed in a variety of semiconductor devices, is discussed emphasizing the physical mechanism and the theoretical interpretation of experimental data. The…

Mesoscale and Nanoscale Physics · Physics 2009-10-31 M. Ershov , H. C. Liu , L. Li , M. Buchanan , Z. R. Wasilewski , A. K. Jonscher

Random device mismatch that arises as a result of scaling of the CMOS (complementary metal-oxide semi-conductor) technology into the deep submicron regime degrades the accuracy of analogue circuits. Methods to combat this increase the…

Neural and Evolutionary Computing · Computer Science 2015-07-13 Chetan Singh Thakur , Runchun Wang , Tara Julia Hamilton , Jonathan Tapson , Andre van Schaik

This paper proposes a novel curriculum for the microprocessors and microcontrollers laboratory course. The proposed curriculum blends structured laboratory experiments with an open-ended project phase, addressing complex engineering…

Computers and Society · Computer Science 2025-03-11 Fahim Hafiz , Md Jahidul Hoq Emon , Md Abid Hossain , Md. Saddam Hossain Mukta , Salekul Islam , Swakkhar Shatabda

In recent years, Printed Circuit Boards (PCB) have become the backbone of a large number of consumer electronic devices leading to a surge in their production. This has made it imperative to employ automatic inspection systems to identify…

Computer Vision and Pattern Recognition · Computer Science 2013-10-25 Sahil Sikka , Karan Sikka , M. K. Bhuyan , Yuji Iwahori