Search Results - "Ryan Kastner"

SHIFT: Selective Hardware Information Flow Tracking Driven by Deterministic Constraints.

Authors: Sun, Haodong Yang, Zhi Jin, Shuyuan et al.

Source: ACM Journal on Emerging Technologies in Computing Systems; Oct2025, Vol. 21 Issue 4, p1-16, 16p

Boosting Cryptographic ICs' Side-Channel Resistance: A Formal Framework for Automatic Identification and Protection of Leaky Paths.

Authors: Zhang, Qizhi Gao, Ya Ma, Haocheng et al.

Source: ACM Transactions on Embedded Computing Systems; Nov2025, Vol. 24 Issue 6, p1-25, 25p

TrinitySLAM: On-board Real-time Event-image Fusion SLAM System for Drones.

Authors: Cai, Xinjun Xu, Jingao Deng, Kuntian et al.

Source: ACM Transactions on Sensor Networks; Nov2024, Vol. 20 Issue 6, p1-22, 22p

Early SoCs Information Flow Policies Validation Using SystemC-Based Virtual Prototypes at the ESL.

Authors: Goli, Mehran Drechsler, Rolf

Source: ACM Transactions on Embedded Computing Systems; Sep2024, Vol. 23 Issue 5, p1-20, 20p

Multi-feature fusion sonar image target detection evaluation based on particle swarm optimization algorithm.

Authors: Lei, Hongquan Li, Diquan Jiang, Haidong

Source: Journal of Intelligent & Fuzzy Systems; 2024, Vol. 46 Issue 1, p739-751, 13p

A more precise way to localize animals using drones.

Authors: Hui, Nathan T. Lo, Eric K. Moss, Jen B. et al.

Source: Journal of Field Robotics; Sep2021, Vol. 38 Issue 6, p917-928, 12p

FastPath: A Hybrid Approach for Efficient Hardware Security Verification.

Authors: Deutschmann, Lucas Meza, Andres Stoffel, Dominik et al.

Source: DAC: Annual ACM/IEEE Design Automation Conference; 2025, Issue 62, p1-7, 7p

Reflectance Transformation Imaging for the Recording of Incised Graffiti: A Case Study from the Maya Site of Holtun, Guatemala.

Authors: Taylor, Rachel Gill Callaghan, Michael Kovacevich, Brigitte et al.

Source: Advances in Archaeological Practice. May2024, Vol. 12 Issue 2, p122-132. 11p.

MCU-Wide Timing Side Channels and Their Detection.

Authors: Müller, Johannes Duque Antón, Anna Lena Deutschmann, Lucas et al.

Source: DAC: Annual ACM/IEEE Design Automation Conference; 2024, Issue 61, p1112-1117, 6p

GATE-SiP: Enabling Authenticated Encryption Testing in Systems-in-Package.

Authors: Haidar, Galib Ibne Azar, Kimia Zamiri Kamali, Hadi M. et al.

Source: DAC: Annual ACM/IEEE Design Automation Conference; 2024, Issue 61, p1034-1039, 6p

ON THE INCOMPARABILITY OF CACHE ALGORITHMS IN TERMS OF TIMING LEAKAGE.

Authors: CAÑONES, PABLO KÖPF, BORIS REINEKE, JAN

Source: Logical Methods in Computer Science (LMCS); Jan2019, Vol. 15 Issue 1, p1-19, 19p, 1 Graph

Secure Instruction and Data-Level Information Flow Tracking Model for RISC-V.

Authors: Nicholas, Geraldine Shirley Aklekar, Dhruvakumar Vikas Thakar, Bhavin et al.

Source: Cryptography (2410-387X). Dec2023, Vol. 7 Issue 4, p58. 20p.

Methodology to derive context adaptable architectures for FPGAs.

Authors: Phillips, J. Sudarsanam, A. Samala, H.

Source: IET Computers & Digital Techniques; January 2009, Vol. 3 Issue 1, p124-141, 18p

ObNoCs: Protecting Network-on-Chip Fabrics Against Reverse-Engineering Attacks.

Authors: HALDER, DIPAL MERUGU, MANEESH RAY, SANDIP

Source: ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-21, 21p

Power Side-channel Attack Resistant Circuit Designs of ARX Ciphers Using High-level Synthesis.

Authors: SAYA INAGAKI MINGYU YANG YANG LI et al.

Source: ACM Transactions on Embedded Computing Systems; Sep2023, Vol. 22 Issue 5, p1-17, 17p

Reconfigurable System-on-Chip Architectures for Robust Visual SLAM on Humanoid Robots.

Authors: GKEKA, MARIA RAFAELA PATRAS, ALEXANDROS TAVOULARIS, NIKOLAOS et al.

Source: ACM Transactions on Embedded Computing Systems; Mar2023, Vol. 22 Issue 2, p1-29, 29p

Survey of Approaches and Techniques for Security Verification of Computer Systems.

Authors: ERATA, FERHAT SHUWEN DENG ZAGHLOUL, FAISAL et al.

Source: ACM Journal on Emerging Technologies in Computing Systems; Jan2023, Vol. 19 Issue 1, p1-34, 34p

Synaptic Activity and Hardware Footprint of Spiking Neural Networks in Digital Neuromorphic Systems.

Authors: LEMAIRE, EDGAR MIRAMOND, BENOÎT BILAVARN, SÉBASTIEN et al.

Source: ACM Transactions on Embedded Computing Systems; Oct2022, Vol. 21 Issue 6, p1-26, 26p

Analyzing Security Vulnerabilities Induced by High-level Synthesis.

Authors: PUNDIR, NITIN AFTABJAHANI, SOHRAB CAMMAROTA, ROSARIO et al.

Source: ACM Journal on Emerging Technologies in Computing Systems; Mar2022, Vol. 18 Issue 3, p1-22, 22p

Arithmetic Optimization Techniques for Hardware and Software Design

Authors: Ryan Kastner Anup Hosangadi Farzan Fallah

Resource Type: eBook.

Subjects: Computer software--Development, Mathematical optimization, Computer arithmetic, Electronic digital computers--Design and construction

Categories: COMPUTERS / Data Science / General, COMPUTERS / Computer Literacy, COMPUTERS / Computer Science, COMPUTERS / Information Technology, COMPUTERS / Machine Theory, COMPUTERS / Reference, COMPUTERS / Hardware / General