Control flow semantics / by 327627 De Bakker, Jacobus Willem, De Vink, Erik

Causality & Control Flow by Robert Künnemann, Deepak Garg, Michael Backes

“…A key point to capturing such examples in the context of programs or distributed systems is a sound treatment of control flow. We discuss how causal models should incorporate control flow and discover that much of what Pearl/Halpern's notion of contingencies tries to capture is captured better by an explicit modelling of the control flow in terms of structural equations and an arguably simpler definition. …”
Get full text

Nanovised Control Flow Attestation by Raz Ben Yehuda, Michael Kiperberg, Nezer Jacob Zaidenberg

Subjects: Get full text

Control-Flow Integrity: Attacks and Protections by Sarwar Sayeed, Hector Marco-Gisbert, Ismael Ripoll, Miriam Birch

“…Control-flow Integrity (CFI) is a large family of techniques that aims to eradicate memory error exploitation by ensuring that the instruction pointer (IP) of a running process cannot be controlled by a malicious attacker. …”
Get full text

A Survey of Control−Flow Obfuscations. by Majumdar, A, Thomborson, C, Drape, S

Explain Trace: Misconceptions of Control-Flow Statements by Oleg Sychev, Mikhail Denisov

Subjects: Get full text

Value-Based Constraint Control Flow Integrity by Dongjae Jung, Minsu Kim, Jinsoo Jang, Brent Byunghoon Kang

Subjects: “…Control flow hijacking…”
Get full text

Control flow and data flow : concepts of distributed programming / by Broy, Manfred

STATIC CHARACTERISTICS ANALYSIS OF INDIRECT CONTROL FLOW VALVE by V. I. Antonenko

“…A model of the indirect control flow divider for the steady state operation which maintains a twin-engined hydromechanical system in the synchronous common mode is considered. …”
Get full text

Evaluating modern defenses against control flow hijacking by Otgonbaatar, Ulziibayar

Get full text

Transparent Control Flow Transfer between CPU and Accelerators for HPC by Daniel Granhão, João Canas Ferreira

“…The main goal of this work is to describe and evaluate mechanisms that can transparently transfer the control flow between CPU and FPGA within the scope of HPC. …”
Get full text

Overview of control-flow hijacking attack and defense techniques for process by WANG Fengfeng, ZHANG Tao, XU Weiguang, SUN Meng

Subjects: Get full text

Synthesis of colloidal microgels using oxygen-controlled flow lithography by An, Harry, Eral, Huseyin Burak, Chen, Lynna, Chen, Michelle B, Doyle, Patrick S

Get full text
Get full text
Get full text

Quantum Control Machine: The Limits of Control Flow in Quantum Programming by Yuan, Charles, Villanyi, Agnes, Carbin, Michael

“…Quantum algorithms for tasks such as factorization, search, and simulation rely on control flow such as branching and iteration that depends on the value of data in superposition. …”
Get full text

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation by Yuan, Charles, Carbin, Michael

“…In this work, we identify that programming abstractions for control flow, such as the quantum if-statement, can introduce polynomial increases in the T-complexity of a program. …”
Get full text

Evaluation of optimal control flow control in computational fluid dynamics by Chia, Jackson Han Wei

Get full text

Revisiting reweighted wake-sleep for models with stochastic control flow by Le, T, Kosiorek, A, Siddharth, N, Teh, Y, Wood, F

“…Stochastic control-flow models (SCFMs) are a class of generative models that involve branching on choices from discrete random variables. …”

Checking Function-Level Kernel Control Flow Integrity for Cloud Computing by Lin Ye, Xiangzhan Yu, Lei Yu, Bin Guo, Dongyang Zhan, Xiaojiang Du, Mohsen Guizani

Subjects: “…Control flow integrity…”
Get full text

ATOS: Adaptive Program Tracing With Online Control Flow Graph Support by He Sun, Chao Zhang, He Li, Zhenhua Wu, Lifa Wu, Yun Li

Subjects: Get full text

MicroCFI: Microarchitecture-Level Control-Flow Restrictions for Spectre Mitigation by Hyerean Jang, Youngjoo Shin

Subjects: Get full text