Tootfinder

GOP nominee for NC public schools chief endorsed 'pay per view' execution of Obama: report - Alternet.org
https://www.alternet.org/gop-nominee-nc-public-schools/

GOP nominee for NC public schools chief endorsed 'pay per view' execution of Obama: report
The Republican nominee to lead all of North Carolina’s 2500 public schools over 200 charter schools has said she would like a televised extra-judicial execution of Democratic former President Barack Obama for treason, and issued a call to assassinate then-President-elect Joe Biden as a traitor.CNN’s...

Increased Execution Agenda: Inside Republican Project 2025
#Project2025…

Mass Execution Agenda
Get to know the horrors in Project 2025, and the GOP plan for an execution spree if Trump wins.

#WebAssembly is changing scientific computing
Enabling code execution in the web browser, the multilanguage tool is powerful but complicated
https://www.nature.com/articles/d41586-024

No installation required: how WebAssembly is changing scientific computing
Enabling code execution in the web browser, the multilanguage tool is powerful but complicated.

Dynamic Neural Control Flow Execution: An Agent-Based Deep Equilibrium Approach for Binary Vulnerability Detection
Litao Li, Steven H. H. Ding, Andrew Walenstein, Philippe Charland, Benjamin C. M. Fung
https://arxiv.org/abs/2404.08562

Dynamic Neural Control Flow Execution: An Agent-Based Deep Equilibrium Approach for Binary Vulnerability Detection
Software vulnerabilities are a challenge in cybersecurity. Manual security patches are often difficult and slow to be deployed, while new vulnerabilities are created. Binary code vulnerability detection is less studied and more complex compared to source code, and this has important practical implications. Deep learning has become an efficient and powerful tool in the security domain, where it provides end-to-end and accurate prediction. Modern deep learning approaches learn the program semanti…

This https://arxiv.org/abs/2311.05243 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different interpretations of BPMN elements and difficulties in checking behavioral properties. In this article, we propose a formalization of the execution semantics of BPMN that, compared to existing approaches, covers more BPMN elements while also facilitating property checking. Our a…

What does it say about a country if the state sees no other way to make a government critic shut his mouth than to assassinate him? What does it say about courage in the civic society if there's no backlash when the henchmen don't just fail miserably, but also let the victim uncover their identities and intimidate them publicly? What does it say about justice if the state then resorts to Soviet-style methods, namely a show trial, Gulag solitary confinement, torture and now execution?…

Deep Reinforcement Learning based Online Scheduling Policy for Deep Neural Network Multi-Tenant Multi-Accelerator Systems
Francesco G. Blanco, Enrico Russo, Maurizio Palesi, Davide Patti, Giuseppe Ascia, Vincenzo Catania
https://arxiv.org/abs/2404.08950

Deep Reinforcement Learning based Online Scheduling Policy for Deep Neural Network Multi-Tenant Multi-Accelerator Systems
Currently, there is a growing trend of outsourcing the execution of DNNs to cloud services. For service providers, managing multi-tenancy and ensuring high-quality service delivery, particularly in meeting stringent execution time constraints, assumes paramount importance, all while endeavoring to maintain cost-effectiveness. In this context, the utilization of heterogeneous multi-accelerator systems becomes increasingly relevant. This paper presents RELMAS, a low-overhead deep reinforcement le…

Timed Strategies for Real-Time Rewrite Theories
Carlos Olarte, Peter Csaba \"Olveczky
https://arxiv.org/abs/2403.08920 https://a…

Timed Strategies for Real-Time Rewrite Theories
In this paper we propose a language for conveniently defining a wide range of execution strategies for real-time rewrite theories, and provide Maude-strategy-implemented versions of most Real-Time Maude analysis methods, albeit with user-defined discrete and timed strategies. We also identify a new time sampling strategy that should provide both efficient and exhaustive analysis for many distributed real-time systems. We exemplify the use of our language and its analyses on a simple round trip …

Microsoft Patch Tuesday fixes two critical bugs
Microsoft fixed 60 vulnerabilities, including 18 remote code execution flaws in its March Patch Tuesday update.
https://www.computing.co.uk/news/4184915/microsoft-patch-tuesday-fixes-critica…

Microsoft Patch Tuesday fixes two critical bugs
Microsoft fixed 60 vulnerabilities, including 18 remote code execution flaws in its March Patch Tuesday update.

Increased Execution Agenda: Inside Republican Project 2025
#Project2025…

Mass Execution Agenda
Get to know the horrors in Project 2025, and the GOP plan for an execution spree if Trump wins.

KestRel: Relational Verification Using E-Graphs for Program Alignment
Robert Dickerson, Prasita Mukherjee, Benjamin Delaware
https://arxiv.org/abs/2404.08106

KestRel: Relational Verification Using E-Graphs for Program Alignment
Many interesting program properties involve the execution of multiple programs, including observational equivalence, noninterference, co-termination, monotonicity, and idempotency. One popular approach to reasoning about these sorts of relational properties is to construct and verify a product program: a program whose correctness implies that the individual programs exhibit the desired relational property. A key challenge in product program construction is finding a good alignment of the origin…

Conservative Heritage Foundation plan calls for Trump to kill everyone on federal death row: "A conservative plan for Donald Trump’s potential second term calls for the swift execution of everyone on federal death row, continuing the historic federal execution spree that took place during the Trump administration."

Conservative plan calls for Trump to kill everyone on federal death row
Trump oversaw historic execution spree in office during first term

This https://arxiv.org/abs/2402.09015 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

Towards better Human-Agent Alignment: Assessing Task Utility in LLM-Powered Applications
The rapid development in the field of Large Language Models (LLMs) has led to a surge in applications that facilitate collaboration among multiple agents to assist humans in their daily tasks. However, a significant gap remains in assessing whether LLM-powered applications genuinely enhance user experience and task execution efficiency. This highlights the pressing need for methods to verify utility of LLM-powered applications, particularly by ensuring alignment between the application's functi…

What does it say about a country if the state sees no other way to make a government critic shut his mouth than to assassinate him? What does it say about courage in the civic society if there's no backlash when the henchmen don't just fail miserably, but also let the victim uncover their identities and intimidate them publicly? What does it say about justice if the state then resorts to Soviet-style methods, namely a show trial, Gulag solitary confinement, torture and now execution?…

Efficient Interactive LLM Serving with Proxy Model-based Sequence Length Prediction
Haoran Qiu, Weichao Mao, Archit Patke, Shengkun Cui, Saurabh Jha, Chen Wang, Hubertus Franke, Zbigniew T. Kalbarczyk, Tamer Ba\c{s}ar, Ravishankar K. Iyer
https://arxiv.org/abs/2404.08509

Efficient Interactive LLM Serving with Proxy Model-based Sequence Length Prediction
Large language models (LLMs) have been driving a new wave of interactive AI applications across numerous domains. However, efficiently serving LLM inference requests is challenging due to their unpredictable execution times originating from the autoregressive nature of generative models. Existing LLM serving systems exploit first-come-first-serve (FCFS) scheduling, suffering from head-of-line blocking issues. To address the non-deterministic nature of LLMs and enable efficient interactive LLM s…

Sequential Contracts
Tomer Ezra, Michal Feldman, Maya Schlesinger
https://arxiv.org/abs/2403.09545 https://arxiv.org/pdf/2403.09545…

Sequential Contracts
We study the principal-agent setting, where a principal delegates the execution of a costly project to an agent. In the classical model, the agent chooses an action among a set of available actions. Every action is associated with some cost, and leads to a stochastic outcome for the project. The agent's action is hidden from the principal, who only observes the outcome. The principal incentivizes the agent through a payment scheme (a contract) that maps outcomes to payments, with the objective …

This https://arxiv.org/abs/2402.17861 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCY_…

Towards AI Accountability Infrastructure: Gaps and Opportunities in AI Audit Tooling
Audits are critical mechanisms for identifying the risks and limitations of deployed artificial intelligence (AI) systems. However, the effective execution of AI audits remains incredibly difficult. As a result, practitioners make use of various tools to support their efforts. Drawing on interviews with 35 AI audit practitioners and a landscape analysis of 390 tools, we map the current ecosystem of available AI audit tools. While there are many tools designed to assist practitioners with settin…

This https://arxiv.org/abs/2309.06113 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Inspection planning under execution uncertainty
Autonomous inspection tasks necessitate path-planning algorithms to efficiently gather observations from points of interest (POI). However, localization errors commonly encountered in urban environments can introduce execution uncertainty, posing challenges to successfully completing such tasks. Unfortunately, existing algorithms for inspection planning do not explicitly account for execution uncertainty, which can hinder their performance. To bridge this gap, we present IRIS-under uncertainty …

Joint Computation Offloading and Target Tracking in Integrated Sensing and Communication Enabled UAV Networks
Trinh Van Chien, Mai Dinh Cong, Nguyen Cong Luong, Tri Nhu Do, Dong In Kim, Symeon Chatzinotas
https://arxiv.org/abs/2404.08396

Joint Computation Offloading and Target Tracking in Integrated Sensing and Communication Enabled UAV Networks
In this paper, we investigate a joint computation offloading and target tracking in Integrated Sensing and Communication (ISAC)-enabled unmanned aerial vehicle (UAV) network. Therein, the UAV has a computing task that is partially offloaded to the ground UE for execution. Meanwhile, the UAV uses the offloading bit sequence to estimate the velocity of a ground target based on an autocorrelation function. The performance of the velocity estimation that is represented by Cramer-Rao lower bound (CR…

This https://arxiv.org/abs/2308.10062 has been replaced.
link: https://scholar.google.com/scholar?q=a

Revitalising the Single Batch Environment: A 'Quest' to Achieve Fairness and Efficiency
In the realm of computer systems, efficient utilisation of the CPU (Central Processing Unit) has always been a paramount concern. Researchers and engineers have long sought ways to optimise process execution on the CPU, leading to the emergence of CPU scheduling as a field of study. This research proposes a novel algorithm for batch processing that operates on a preemptive model, dynamically assigning priorities based on a robust ratio, employing a dynamic time slice, and utilising periodic sor…

Resource-aware Deployment of Dynamic DNNs over Multi-tiered Interconnected Systems
Chetna Singhal, Yashuo Wu, Francesco Malandrino, Marco Levorato, Carla Fabiana Chiasserini
https://arxiv.org/abs/2404.08060

Resource-aware Deployment of Dynamic DNNs over Multi-tiered Interconnected Systems
The increasing pervasiveness of intelligent mobile applications requires to exploit the full range of resources offered by the mobile-edge-cloud network for the execution of inference tasks. However, due to the heterogeneity of such multi-tiered networks, it is essential to make the applications' demand amenable to the available resources while minimizing energy consumption. Modern dynamic deep neural networks (DNN) achieve this goal by designing multi-branched architectures where early exits e…

This https://arxiv.org/abs/2401.09973 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Accelerated Bounded Model Checking
Bounded Model Checking (BMC) is a powerful technique for proving unsafety. However, finding deep counterexamples that require a large bound is challenging for BMC. On the other hand, acceleration techniques compute "shortcuts" that "compress" many execution steps into a single one. In this paper, we tightly integrate acceleration techniques into SMT-based bounded model checking. By adding suitable "shortcuts" to the SMT-problem on the fly, our approach can quickly detect deep counterexamples, e…

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
Ben L. Titzer, Elizabeth Gilbert, Bradley Wei Jie Teo, Yash Anand, Kazuyuki Takayama, Heather Miller
https://arxiv.org/abs/2403.07973

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
A key strength of managed runtimes over hardware is the ability to gain detailed insight into the dynamic execution of programs with instrumentation. Analyses such as code coverage, execution frequency, tracing, and debugging, are all made easier in a virtual setting. As a portable, low-level bytecode, WebAssembly offers inexpensive in-process sandboxing with high performance. Yet to date, Wasm engines have not offered much insight into executing programs, supporting at best bytecode-level step…

Tree Search-Based Policy Optimization under Stochastic Execution Delay
David Valensi, Esther Derman, Shie Mannor, Gal Dalal
https://arxiv.org/abs/2404.05440

Tree Search-Based Policy Optimization under Stochastic Execution Delay
The standard formulation of Markov decision processes (MDPs) assumes that the agent's decisions are executed immediately. However, in numerous realistic applications such as robotics or healthcare, actions are performed with a delay whose value can even be stochastic. In this work, we introduce stochastic delayed execution MDPs, a new formalism addressing random delays without resorting to state augmentation. We show that given observed delay values, it is sufficient to perform a policy search …

Oh wow, so many interesting things (that I have no idea what they are) to google for in this image. Like Arbitrary Code Execution in the Universal Turing Machine, wtf? https://arxiv.org/abs/2105.02124
From: @…

Intrinsic Propensity for Vulnerability in Computers? Arbitrary Code Execution in the Universal Turing Machine
The universal Turing machine is generally considered to be the simplest, most abstract model of a computer. This paper reports on the discovery of an accidental arbitrary code execution vulnerability in Marvin Minsky's 1967 implementation of the universal Turing machine. By submitting crafted data, the machine may be coerced into executing user-provided code. The article presents the discovered vulnerability in detail and discusses its potential implications. To the best of our knowledge, an ar…

T-Watch: Towards Timed Execution of Private Transaction in Blockchains
Chao Li, Balaji Palanisamy
https://arxiv.org/abs/2405.08268 https://

Trade execution games in a Markovian environment
Masamitsu Ohnishi, Makoto Shimoshimizu
https://arxiv.org/abs/2405.07184 https://arxi…

The Day of the Rope
The Molly Maguires became international news on June 21, 1877, when the authorities💥 hanged ten Irish miners in a single day in Schuylkill County, Pennsylvania.💥
Known as #Black #Thursday, or Day of the Rope, it was the second largest mass execution in U.S. history.
(The largest was in …

The Myth of the Molly Maguires - Michael Dunn
The Myth of the Molly Maguires was created by the mine owners to destroy the union

when a doll yields execution to another task, does it use the `awawait` keyword?

Servers Placement Scheme Based on All-pay Auction Framework in Mobile Edge Computing
Yun Xia
https://arxiv.org/abs/2404.09477 https://

Servers Placement Scheme Based on All-pay Auction Framework in Mobile Edge Computing
Task offloading plays a pivotal role in mobile edge computing, enabling terminal devices to enhance task execution efficiency and conserve energy. However, servers are reluctant to offer services without compensation. Currently, pricing mechanisms are commonly employed to incentivize servers to serve terminal devices, with servers earning revenue through payments from these devices. Given the rapid surge in terminal devices, determining the optimal number of servers placement for service provid…

Packers DT Kenny Clark: New defensive coordinator Jeff Hafley will 'allow us to be way more disruptive' https://www.nfl.com/news/packers-dt-kenny-clark-new-defensive-coordinator-jeff-hafley-will-allow-…

Packers DT Kenny Clark: New defensive coordinator Jeff Hafley will 'allow us to be way more disruptive'
The Packers defense has for so long been a case of broad talent, limited execution. Green Bay's introduction of Jeff Hafley is meant to change that, and defensive tackle Kenny Clark believes the new coordinator will specifically let the defensive line amp up the aggression.

This https://arxiv.org/abs/2402.17861 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCY_…

Towards AI Accountability Infrastructure: Gaps and Opportunities in AI Audit Tooling
Audits are critical mechanisms for identifying the risks and limitations of deployed artificial intelligence (AI) systems. However, the effective execution of AI audits remains incredibly difficult. As a result, practitioners make use of various tools to support their efforts. Drawing on interviews with 35 AI audit practitioners and a landscape analysis of 390 tools, we map the current ecosystem of available AI audit tools. While there are many tools designed to assist practitioners with settin…

CVE-2024-20670 Report - "New Outlook" NTLM Leak and File Execution https://mpizzicaroli.github.io/missfile/

#Linux #kernel 6.8.5, 6.6.26, 6.1.85, and 5.15.154 were released.
They among others contain the mitigations for the "native BHI (Branch History Injection)" hardware vulnerability that were mainlined yesterday[1] shortly after the vulnerability was published[2].
[1]

This https://arxiv.org/abs/2305.06946 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAR_…

Big-PERCIVAL: Exploring the Native Use of 64-Bit Posit Arithmetic in Scientific Computing
The accuracy requirements in many scientific computing workloads result in the use of double-precision floating-point arithmetic in the execution kernels. Nevertheless, emerging real-number representations, such as posit arithmetic, show promise in delivering even higher accuracy in such computations. In this work, we explore the native use of 64-bit posits in a series of numerical benchmarks and compare their timing performance, accuracy and hardware cost to IEEE 754 doubles. In addition, we a…

This https://arxiv.org/abs/2310.19699 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

Optimizing Logical Execution Time Model for Both Determinism and Low Latency
The Logical Execution Time (LET) programming model has recently received considerable attention, particularly because of its timing and dataflow determinism. In LET, task computation appears always to take the same amount of time (called the task's LET interval), and the task reads (resp. writes) at the beginning (resp. end) of the interval. Compared to other communication mechanisms, such as implicit communication and Dynamic Buffer Protocol (DBP), LET performs worse on many metrics, such as e…

Ukraine war latest: Kyiv asks UN, Red Cross to investigate execution of Ukrainian POWs in Avdiivka: https://benborges.xyz/2024/02/20/ukraine-war-latest.html

Whenever I read about the designed in issues (security bugs/vulnerabilities) with Speculative Execution architectures in CPUs (eg. #DarthVader's remark:
Don't be too proud of this technological terror you've constructed.
#CVE20242193 #GhostRace #SpeculativeExecution

2022 retro-link! https://blog.janestreet.com/magic-trace/ - Magic-trace: Diagnosing tricky performance issues easily with Intel Processor Trace.

Idaho halts Thomas Creech execution after botching lethal injection | The Independent
https://www.independent.co.uk/news/world/americas/crime/idaho-execution-thomas-creech-death-row-b2504208.html

Idaho halts Thomas Creech execution after botching lethal injection
Creech has been on death row since 1974

This https://arxiv.org/abs/2309.09498 has been replaced.
link: https://scholar.google.com/scholar?q=a

Combating Advanced Persistent Threats: Challenges and Solutions
The rise of advanced persistent threats (APTs) has marked a significant cybersecurity challenge, characterized by sophisticated orchestration, stealthy execution, extended persistence, and targeting valuable assets across diverse sectors. Provenance graph-based kernel-level auditing has emerged as a promising approach to enhance visibility and traceability within intricate network environments. However, it still faces challenges including reconstructing complex lateral attack chains, detecting …

A Hybrid Execution Environment for Computer-Interpretable Guidelines in PROforma
Alexandra Kogan, Roy Leizer, Szymon Wilk, David Glasspool
https://arxiv.org/abs/2404.05011

A Hybrid Execution Environment for Computer-Interpretable Guidelines in PROforma
In this paper, we share our experience of developing a hybrid execution environment for computer-interpretable guidelines (CIGs) in PROforma. The proposed environment is part of the CAPABLE system which provides coaching for cancer patients and decision support for physicians. It extends a standard PROforma execution engine - Deontics Engine (DE) - with additional components that act as wrappers around DE, allow handling of non-standard tasks, and facilitate integration with the rest of the CAP…

OK, why is TFG's property not now - this instant - undergoing levy of execution of judgement?
https://www.thedailybeast.com/trumps-dollar175-million-bond-is-even-shadier-than-it-looks

Trump’s $175 Million Bond Is Even Shadier Than It Looks
New information shows that the insurance company that swooped in and bailed out Trump with a $175 million bond isn’t on a list of vetted companies—and wrote a bizarre contract.

Imagine spending countless hours proving it is possible to complete Factorio in a 12x9 world only to find out afterwards that since the Spidertron was added it is actually possible to do it in 11x9
(Spidertrons can stand on top of other buildings and have a large carrying capacity, so you can use them like chests to hold all the items you need to launch the rocket while still having the ability to place buildings on all tiles.)
Amusing execution though. 😀

Expiring opacity problems in parametric timed automata
\'Etienne Andr\'e, Engel Lefaucheux, Dylan Marinho
https://arxiv.org/abs/2403.07647 https://…

Expiring opacity problems in parametric timed automata
Information leakage can have dramatic consequences on the security of real-time systems. Timing leaks occur when an attacker is able to infer private behavior depending on timing information. In this work, we propose a definition of expiring timed opacity w.r.t. execution time, where a system is opaque whenever the attacker is unable to deduce the reachability of some private state solely based on the execution time; in addition, the secrecy is violated only when the private state was entered "…

This https://arxiv.org/abs/2107.10867 has been replaced.
link: https://scholar.google.com/scholar?q=a

A local approach to parameter space reduction for regression and classification tasks
Parameter space reduction has been proved to be a crucial tool to speed-up the execution of many numerical tasks such as optimization, inverse problems, sensitivity analysis, and surrogate models' design, especially when in presence of high-dimensional parametrized systems. In this work we propose a new method called local active subspaces (LAS), which explores the synergies of active subspaces with supervised clustering techniques in order to carry out a more efficient dimension reduction in t…

This https://arxiv.org/abs/2312.11598 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

SkillDiffuser: Interpretable Hierarchical Planning via Skill Abstractions in Diffusion-Based Task Execution
Diffusion models have demonstrated strong potential for robotic trajectory planning. However, generating coherent trajectories from high-level instructions remains challenging, especially for long-range composition tasks requiring multiple sequential skills. We propose SkillDiffuser, an end-to-end hierarchical planning framework integrating interpretable skill learning with conditional diffusion planning to address this problem. At the higher level, the skill abstraction module learns discrete,…

Raiders' Antonio Pierce opens up about his first experience as a head coach during the NFL draft https://www.yardbarker.com/nfl/articles/raiders_antonio_pierce_opens_up_about_hi…

Bill Barr says Trump often suggested executing his rivals during heated White House outbursts (Joe Sommerlad/The Independent)
https://www.independent.co.uk/news/world/americas/us-politics/bill-barr-donald-trump-execution-b2536602.html
http://www.memeorandum.com/240429/p49#a240429p49

ExeGPT: Constraint-Aware Resource Scheduling for LLM Inference
Hyungjun Oh, Kihong Kim, Jaemin Kim, Sungkyun Kim, Junyeol Lee, Du-seong Chang, Jiwon Seo
https://arxiv.org/abs/2404.07947

ExeGPT: Constraint-Aware Resource Scheduling for LLM Inference
This paper presents ExeGPT, a distributed system designed for constraint-aware LLM inference. ExeGPT finds and runs with an optimal execution schedule to maximize inference throughput while satisfying a given latency constraint. By leveraging the distribution of input and output sequences, it effectively allocates resources and determines optimal execution configurations, including batch sizes and partial tensor parallelism. We also introduce two scheduling strategies based on Round-Robin Alloc…

TIL about the #Rust “?" operator, which is shorthand for Error propagation in a method. If a call fails, the Error will be sent to the caller, and the method’s execution ends there. That's pretty neat.

This https://arxiv.org/abs/2311.01598 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

CiFlow: Dataflow Analysis and Optimization of Key Switching for Homomorphic Encryption
Homomorphic encryption (HE) is a privacy-preserving computation technique that enables computation on encrypted data. Today, the potential of HE remains largely unrealized as it is impractically slow, preventing it from being used in real applications. A major computational bottleneck in HE is the key-switching operation, accounting for approximately 70% of the overall HE execution time and involving a large amount of data for inputs, intermediates, and keys. Prior research has focused on hardw…

This https://arxiv.org/abs/2303.15237 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Cascaded variational quantum eigensolver algorithm
We present a cascaded variational quantum eigensolver algorithm that only requires the execution of a set of quantum circuits once rather than at every iteration during the parameter optimization process, thereby increasing the computational throughput. This algorithm uses a quantum processing unit to probe the needed probability mass functions and a classical processing unit perform the remaining calculations, including the energy minimization. The ansatz form does not restrict the Fock space …

Local Binary and Multiclass SVMs Trained on a Quantum Annealer
Enrico Zardini, Amer Delilbasic, Enrico Blanzieri, Gabriele Cavallaro, Davide Pastorello
https://arxiv.org/abs/2403.08584

Local Binary and Multiclass SVMs Trained on a Quantum Annealer
Support vector machines (SVMs) are widely used machine learning models (e.g., in remote sensing), with formulations for both classification and regression tasks. In the last years, with the advent of working quantum annealers, hybrid SVM models characterised by quantum training and classical execution have been introduced. These models have demonstrated comparable performance to their classical counterparts. However, they are limited in the training set size due to the restricted connectivity o…

This https://arxiv.org/abs/2403.18235 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

An Execution-time-certified QP Algorithm for $\ell_1$ penalty-based Soft-constrained MPC
Providing an execution time certificate and handling possible infeasibility in closed-loop are two pressing requirements of Model Predictive Control (MPC). To simultaneously meet these two requirements, this paper uses $\ell_1$ penalty-based soft-constrained MPC formulation and innovatively transforms the resulting non-smooth QP into a box-constrained QP, which is solved by our previously proposed direct and execution-time certified algorithm with only dimension-dependent (data-independent) and…

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
Chujun Geng, Spyros Blanas, Michael D. Bond, Yang Wang
https://arxiv.org/abs/2404.04621

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
This paper presents the first dynamic predictive analysis for data store applications under weak isolation levels, called Isopredict. Given an observed serializable execution of a data store application, Isopredict generates and solves SMT constraints to find an unserializable execution that is a feasible execution of the application. Isopredict introduces novel techniques that handle divergent application behavior; solve mutually recursive sets of constraints; and balance coverage, precision, …

Ciphertext-Only Attack on a Secure $k$-NN Computation on Cloud
Shyam Murthy, Santosh Kumar Upadhyaya, Srinivas Vivek
https://arxiv.org/abs/2403.09080 https…

Ciphertext-Only Attack on a Secure $k$-NN Computation on Cloud
The rise of cloud computing has spurred a trend of transferring data storage and computational tasks to the cloud. To protect confidential information such as customer data and business details, it is essential to encrypt this sensitive data before cloud storage. Implementing encryption can prevent unauthorized access, data breaches, and the resultant financial loss, reputation damage, and legal issues. Moreover, to facilitate the execution of data mining algorithms on the cloud-stored data, th…

2022 retro-link! https://blog.janestreet.com/magic-trace/ - Magic-trace: Diagnosing tricky performance issues easily with Intel Processor Trace.

This https://arxiv.org/abs/2309.03628 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csNI_…

OSMOSIS: Enabling Multi-Tenancy in Datacenter SmartNICs
Multi-tenancy is essential for unleashing SmartNIC's potential in datacenters. Our systematic analysis in this work shows that existing on-path SmartNICs have resource multiplexing limitations. For example, existing solutions lack multi-tenancy capabilities such as performance isolation and QoS provisioning for compute and IO resources. Compared to standard NIC data paths with a well-defined set of offloaded functions, unpredictable execution times of SmartNIC kernels make conventional approach…

COSTREAM: Learned Cost Models for Operator Placement in Edge-Cloud Environments
Roman Heinrich, Carsten Binnig, Harald Kornmayer, Manisha Luthra
https://arxiv.org/abs/2403.08444 <…

COSTREAM: Learned Cost Models for Operator Placement in Edge-Cloud Environments
In this work, we present COSTREAM, a novel learned cost model for Distributed Stream Processing Systems that provides accurate predictions of the execution costs of a streaming query in an edge-cloud environment. The cost model can be used to find an initial placement of operators across heterogeneous hardware, which is particularly important in these environments. In our evaluation, we demonstrate that COSTREAM can produce highly accurate cost estimates for the initial operator placement and e…

This https://arxiv.org/abs/2404.00566 has been replaced.
link: https://scholar.google.com/scholar?q=a

CodeBenchGen: Creating Scalable Execution-based Code Generation Benchmarks
To facilitate evaluation of code generation systems across diverse scenarios, we present CodeBenchGen, a framework to create scalable execution-based benchmarks that only requires light guidance from humans. Specifically, we leverage a large language model (LLM) to convert an arbitrary piece of code into an evaluation example, including test cases for execution-based evaluation. We illustrate the usefulness of our framework by creating a dataset, Exec-CSN, which includes 1,931 examples involvin…

On Reducing the Execution Latency of Superconducting Quantum Processors via Quantum Program Scheduling
Wenjie Wu, Yiquan Wang, Ge Yan, Yuming Zhao, Junchi Yan
https://arxiv.org/abs/2404.07882

On Reducing the Execution Latency of Superconducting Quantum Processors via Quantum Program Scheduling
Quantum computing has gained considerable attention, especially after the arrival of the Noisy Intermediate-Scale Quantum (NISQ) era. Quantum processors and cloud services have been made world-wide increasingly available. Unfortunately, programs on existing quantum processors are often executed in series, and the workload could be heavy to the processor. Typically, one has to wait for hours or even longer to obtain the result of a single quantum program on public quantum cloud due to long queue…

On the Fly Robotic-Assisted Medical Instrument Planning and Execution Using Mixed Reality
Letian Ai, Yihao Liu, Mehran Armand, Amir Kheradmand, Alejandro Martin-Gomez
https://arxiv.org/abs/2404.05887

On the Fly Robotic-Assisted Medical Instrument Planning and Execution Using Mixed Reality
Robotic-assisted medical systems (RAMS) have gained significant attention for their advantages in alleviating surgeons' fatigue and improving patients' outcomes. These systems comprise a range of human-computer interactions, including medical scene monitoring, anatomical target planning, and robot manipulation. However, despite its versatility and effectiveness, RAMS demands expertise in robotics, leading to a high learning cost for the operator. In this work, we introduce a novel framework usi…

The Israeli attack on a humanitarian convoy in Gaza in early April that killed seven aid workers with the U.S.-based aid group World Central Kitchen has ignited a fierce global backlash against Israel’s policies of engagement in the territory.
The attack involved the successive firing of three missiles at three vehicles, driven by suspicions of a Hamas combatant’s presence within the convoy, according to reports.

How a Culture Shift in the Israeli Military Helps Explain Gaza's Death Toll
An execution, a prosecution, and then a backlash.

The GA4GH Task Execution API: Enabling Easy Multi Cloud Task Execution
Alexander Kanitz, Matthew H. McLoughlin, Liam Beckman, Venkat S. Malladi, Kyle P. Ellrott
https://arxiv.org/abs/2405.00013

The GA4GH Task Execution API: Enabling Easy Multi Cloud Task Execution
The Global Alliance for Genomics and Health (GA4GH) Task Execution Service (TES) API is a standardized schema and API for describing and executing batch execution tasks. It provides a common way to submit and manage tasks to a variety of compute environments, including on premise High Performance Compute and High Throughput Computing (HPC/HTC) systems, Cloud computing platforms, and hybrid environments. The TES API is designed to be flexible and extensible, allowing it to be adapted to a wide r…

A Real-Time Rescheduling Algorithm for Multi-robot Plan Execution
Ying Feng, Adittyo Paul, Zhe Chen, Jiaoyang Li
https://arxiv.org/abs/2403.18145 https://<…

A Real-Time Rescheduling Algorithm for Multi-robot Plan Execution
One area of research in multi-agent path finding is to determine how replanning can be efficiently achieved in the case of agents being delayed during execution. One option is to reschedule the passing order of agents, i.e., the sequence in which agents visit the same location. In response, we propose Switchable-Edge Search (SES), an A*-style algorithm designed to find optimal passing orders. We prove the optimality of SES and evaluate its efficiency via simulations. The best variant of SES tak…

BlueDucky automates exploitation of Bluetooth pairing vulnerability that leads to 0-click code execution https://www.mobile-hacker.com/2024/03/26/blueducky-automates-exploitation-of-bluetooth-pairing-vulnerability-that-leads-to-0-click-code-execution/

This https://arxiv.org/abs/2303.13587 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Entanglement Trajectory and its Boundary
In this article, we present a novel approach to investigating entanglement in the context of quantum computing. Our methodology involves analyzing reduced density matrices at different stages of a quantum algorithm's execution and representing the dominant eigenvalue and von Neumann entropy on a graph, creating an "entanglement trajectory." To establish the trajectory's boundaries, we employ random matrix theory. Through the examination of examples such as quantum adiabatic computation, the Gro…

SecGPT: An Execution Isolation Architecture for LLM-Based Systems
Yuhao Wu, Franziska Roesner, Tadayoshi Kohno, Ning Zhang, Umar Iqbal
https://arxiv.org/abs/2403.04960

SecGPT: An Execution Isolation Architecture for LLM-Based Systems
Large language models (LLMs) extended as systems, such as ChatGPT, have begun supporting third-party applications. These LLM apps leverage the de facto natural language-based automated execution paradigm of LLMs: that is, apps and their interactions are defined in natural language, provided access to user data, and allowed to freely interact with each other and the system. These LLM app ecosystems resemble the settings of earlier computing platforms, where there was insufficient isolation betwe…

Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage
Ziheng Wang, Alex Aiken
https://arxiv.org/abs/2403.08062 https://

Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage
Modern distributed pipelined query engines either do not support intra-query fault tolerance or employ high-overhead approaches such as persisting intermediate outputs or checkpointing state. In this work, we present write-ahead lineage, a novel fault recovery technique that combines Spark's lineage-based replay and write-ahead logging. Unlike Spark, where the lineage is determined before query execution, write-ahead lineage persistently logs lineage at runtime to support dynamic task dependenc…

SecGPT: An Execution Isolation Architecture for LLM-Based Systems
Yuhao Wu, Franziska Roesner, Tadayoshi Kohno, Ning Zhang, Umar Iqbal
https://arxiv.org/abs/2403.04960

SecGPT: An Execution Isolation Architecture for LLM-Based Systems
Large language models (LLMs) extended as systems, such as ChatGPT, have begun supporting third-party applications. These LLM apps leverage the de facto natural language-based automated execution paradigm of LLMs: that is, apps and their interactions are defined in natural language, provided access to user data, and allowed to freely interact with each other and the system. These LLM app ecosystems resemble the settings of earlier computing platforms, where there was insufficient isolation betwe…

Performance evaluation of conditional handover in 5G systems under fading scenario
Souvik Deb, Megh Rathod, Rishi Balamurugan, Shankar K. Ghosh, Rajeev K. Singh, Samriddha Sanyal
https://arxiv.org/abs/2403.04379

Performance evaluation of conditional handover in 5G systems under fading scenario
To enhance the handover performance in fifth generation (5G) cellular systems, conditional handover (CHO) has been evolved as a promising solution. Unlike A3 based handover where handover execution is certain after receiving handover command from the serving access network, in CHO, handover execution is conditional on the RSRP measurements from both current and target access networks, as well as on mobility parameters such as preparation and execution offsets. Analytic evaluation of conditional…

PROSKILL: A formal skill language for acting in robotics
F\'elix Ingrand (LAAS-CNRS, Universit\'e de Toulouse, Toulouse, France)
https://arxiv.org/abs/2403.07770

PROSKILL: A formal skill language for acting in robotics
Acting is an important decisional function for autonomous robots. Acting relies on skills to implement and to model the activities it oversees: refinement, local recovery, temporal dispatching, external asynchronous events, and commands execution, all done online. While sitting between planning and the robotic platform, acting often relies on programming primitives and an interpreter which executes these skills. Following our experience in providing a formal framework to program the functional …

This https://arxiv.org/abs/2211.13525 has been replaced.
link: https://scholar.google.com/scholar?q=a

Evaluating Search-Based Software Microbenchmark Prioritization
Ensuring that software performance does not degrade after a code change is paramount. A solution is to regularly execute software microbenchmarks, a performance testing technique similar to (functional) unit tests, which, however, often becomes infeasible due to extensive runtimes. To address that challenge, research has investigated regression testing techniques, such as test case prioritization (TCP), which reorder the execution within a microbenchmark suite to detect larger performance chang…

Towards Fixed-Point Formats Determination for Faust Programs
Agathe HerrouGRAME, Florent de DinechinINSA Lyon, St\'ephane LetzGRAME, Yann Orlarey, Anastasia Volkova
https://arxiv.org/abs/2403.06527

Towards Fixed-Point Formats Determination for Faust Programs
Modern programmable digital signal processing relies on floating-point numbers for their ease of use. Fixed-point number formats have the potential to save resources and improve execution time, but realising this potential burdens the programmer with the need to define each format, at every step of the computation. This article reviews existing methods to automatically determine fixed-point formats, then describes and evaluates the prototype implementation of automatic fixed-point format determ…

"The witnesses told investigators that boxes of government materials were haphazardly chosen for return to the National Archives and that Trump himself stopped them from returning dozens of additional boxes that were later found during the execution of a search warrant".
Trump worker who now refuses to talk spilled beans to Jack Smith before indictment: CNN - Raw Story

Trump worker who now refuses to talk spilled beans to Jack Smith before indictment: CNN
One of Donald Trump's employees who has been charged in the Mar-a-Lago case has already provided testimony that could be used in an eventual trial — even though he stopped cooperating as soon as he was indicted, CNN reported.Newly unsealed court filings show Walt Nauta told a grand jury two months b...

On Practicality of Using ARM TrustZone Trusted Execution Environment for Securing Programmable Logic Controllers
Zhiang Li, Daisuke Mashima, Wen Shei Ong, Ertem Esiner, Zbigniew Kalbarczyk, Ee-Chien Chang
https://arxiv.org/abs/2403.05448

On Practicality of Using ARM TrustZone Trusted Execution Environment for Securing Programmable Logic Controllers
Programmable logic controllers (PLCs) are crucial devices for implementing automated control in various industrial control systems (ICS), such as smart power grids, water treatment systems, manufacturing, and transportation systems. Owing to their importance, PLCs are often the target of cyber attackers that are aiming at disrupting the operation of ICS, including the nation's critical infrastructure, by compromising the integrity of control logic execution. While a wide range of cybersecurity …

Security Advisory: Remote Command Execution in Cisco Access Point WAP Products https://onekey.com/blog/security-advisory-remote-command-execution-in-cisco-access-point-wap-products/

Turns out the Mastodon version underlying #Trump's social media platform #TruthSocial is outdated and has a vulnerability that allows arbitrary remote code execution and DoS attacks.
In totally unrelated news: It is utterly ILLEGAL to hack into, sabotage, shutdown or destroy counter-de…

Ryan Baumann (@ryanfb@digipres.club)
I don't know who needs to hear this but #TruthSocial, which is running a forked version of Mastodon, does not from the source code appear to have appropriate mitigations in place for CVE-2023-36460, which theoretically allows attackers to create and overwrite any file Mastodon has access to, allowing Denial of Service and arbitrary Remote Code Execution https://nvd.nist.gov/vuln/detail/CVE-2023-36460 (probably other CVE's as well, but some rely on federation which Truth Social doesn't use?) #in…

Logic Programming with Multiplicative Structures
Matteo Acclavio, Roberto Maieli
https://arxiv.org/abs/2403.03032 https://arxiv.org/p…

Logic Programming with Multiplicative Structures
In the logic programming paradigm, a program is defined by a set of methods, each of which can be executed when specific conditions are met during the current state of an execution. The semantics of these programs can be elegantly represented using sequent calculi, in which each method is linked to an inference rule. In this context, proof search mirrors the program's execution. Previous works introduced a framework in which the process of constructing proof nets is employed to model executions…

MPS: A New Method for Selecting the Stable Closed-Loop Equilibrium Attitude-Error Quaternion of a UAV During Flight
Francisco M. F. R. Gon\c{c}alves, Ryan M. Bena, Konstantin I. Matveev, N\'estor O. P\'erez-Arancibia
https://arxiv.org/abs/2403.07269

MPS: A New Method for Selecting the Stable Closed-Loop Equilibrium Attitude-Error Quaternion of a UAV During Flight
We present model predictive selection (MPS), a new method for selecting the stable closed-loop (CL) equilibrium attitude-error quaternion (AEQ) of an uncrewed aerial vehicle (UAV) during the execution of high-speed yaw maneuvers. In this approach, we minimize the cost of yawing measured with a performance figure of merit (PFM) that takes into account both the aerodynamic-torque control input and attitude-error state of the UAV. Specifically, this method uses a control law with a term whose sign…

On Practicality of Using ARM TrustZone Trusted Execution Environment for Securing Programmable Logic Controllers
Zhiang Li, Daisuke Mashima, Wen Shei Ong, Ertem Esiner, Zbigniew Kalbarczyk, Ee-Chien Chang
https://arxiv.org/abs/2403.05448

On Practicality of Using ARM TrustZone Trusted Execution Environment for Securing Programmable Logic Controllers
Programmable logic controllers (PLCs) are crucial devices for implementing automated control in various industrial control systems (ICS), such as smart power grids, water treatment systems, manufacturing, and transportation systems. Owing to their importance, PLCs are often the target of cyber attackers that are aiming at disrupting the operation of ICS, including the nation's critical infrastructure, by compromising the integrity of control logic execution. While a wide range of cybersecurity …

Deferred Objects to Enhance Smart Contract Programming with Optimistic Parallel Execution
George Mitenkov, Igor Kabiljo, Zekun Li, Alexander Spiegelman, Satyanarayana Vusirikala, Zhuolun Xiang, Aleksandar Zlateski, Nuno P. Lopes, Rati Gelashvili
https://arxiv.org/abs/2405.06117

This https://arxiv.org/abs/2404.03172 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution
Symbolic quick error detection (SQED) has greatly improved efficiency in formal chip verification. However, it has a limitation in detecting single-instruction bugs due to its reliance on the self-consistency property. To address this, we propose a new variant called symbolic quick error detection by semantically equivalent program execution (SEPE-SQED), which utilizes program synthesis techniques to find sequences with equivalent meanings to original instructions. SEPE-SQED effectively detects…

This https://arxiv.org/abs/2302.13051 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
Universal probabilistic programming languages (PPLs) make it relatively easy to encode and automatically solve statistical inference problems. To solve inference problems, PPL implementations often apply Monte Carlo inference algorithms that rely on execution suspension. State-of-the-art solutions enable execution suspension either through (i) continuation-passing style (CPS) transformations or (ii) efficient, but comparatively complex, low-level solutions that are often not available in high-l…

Toward An Analytic Theory of Intrinsic Robustness for Dexterous Grasping
Albert H. Li, Preston Culbertson, Aaron D. Ames
https://arxiv.org/abs/2403.07249 h…

Toward An Analytic Theory of Intrinsic Robustness for Dexterous Grasping
Conventional approaches to grasp planning require perfect knowledge of an object's pose and geometry. Uncertainties in these quantities induce uncertainties in the quality of planned grasps, which can lead to failure. Classically, grasp robustness refers to the ability to resist external disturbances after grasping an object. In contrast, this work studies robustness to intrinsic sources of uncertainty like object pose or geometry affecting grasp planning before execution. To do so, we develop …

BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics
S\"oren Tempel, Tobias Brandt, Christoph L\"uth, Rolf Drechsler
https://arxiv.org/abs/2404.04132

BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics
BinSym is a framework for symbolic program analysis of software in binary form. Contrary to prior work, it operates directly on binary code instructions and does not require lifting them to an intermediate representation (IR). This is achieved by formulating the symbolic semantics on top of a formal description of binary code instruction semantics. By building on existing formal descriptions, BinSym eliminates the manual effort required by prior work to implement transformations to an IR, there…

Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
Norrathep Rattanavipanon, Ivan de Oliviera Nunes
https://arxiv.org/abs/2404.06721

Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
The rise in IoT-driven distributed data analytics, coupled with increasing privacy concerns, has led to a demand for effective privacy-preserving and federated data collection/model training mechanisms. In response, approaches such as Federated Learning (FL) and Local Differential Privacy (LDP) have been proposed and attracted much attention over the past few years. However, they still share the common limitation of being vulnerable to poisoning attacks wherein adversaries compromising edge dev…

This https://arxiv.org/abs/2402.16906 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

LDB: A Large Language Model Debugger via Verifying Runtime Execution Step-by-step
Large language models (LLMs) are leading significant progress in code generation. Beyond one-pass code generation, recent works further integrate unit tests and program verifiers into LLMs to iteratively refine the generated programs. However, these works consider the generated programs as an indivisible entity, which falls short for LLMs in debugging the programs, especially when the programs contain complex logic flows and data operations. In contrast, when human developers debug programs, th…

This https://arxiv.org/abs/2307.11252 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Introducing Delays in Multi-Agent Path Finding
We consider a Multi-Agent Path Finding (MAPF) setting where agents have been assigned a plan, but during its execution some agents are delayed. Instead of replanning from scratch when such a delay occurs, we propose delay introduction, whereby we delay some additional agents so that the remainder of the plan can be executed safely. We show that finding the minimum number of additional delays is APX-Hard, i.e., it is NP-Hard to find a $(1+\varepsilon)$-approximation for some $\varepsilon>0$. How…

This https://arxiv.org/abs/1610.07914 has been replaced.
link: https://scholar.google.com/scholar?q=a

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
NPATH is a metric introduced by Brian A. Nejmeh in [13] that is aimed at overcoming some important limitations of McCabe's cyclomatic complexity. Despite the fact that the declared NPATH objective is to count the number of acyclic execution paths through a function, the definition given for the C language in [13] fails to do so even for very simple programs. We show that counting the number of acyclic paths in CFG is unfeasible in general. Then we define a new metric for C-like languages, calle…

Neural Exec: Learning (and Learning from) Execution Triggers for Prompt Injection Attacks
Dario Pasquini, Martin Strohmeier, Carmela Troncoso
https://arxiv.org/abs/2403.03792

Neural Exec: Learning (and Learning from) Execution Triggers for Prompt Injection Attacks
We introduce a new family of prompt injection attacks, termed Neural Exec. Unlike known attacks that rely on handcrafted strings (e.g., "Ignore previous instructions and..."), we show that it is possible to conceptualize the creation of execution triggers as a differentiable search problem and use learning-based methods to autonomously generate them. Our results demonstrate that a motivated adversary can forge triggers that are not only drastically more effective than current handcrafted ones…

This https://arxiv.org/abs/2402.09664 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

CodeMind: A Framework to Challenge Large Language Models for Code Reasoning
Solely relying on test passing to evaluate Large Language Models (LLMs) for code synthesis may result in unfair assessment or promoting models with data leakage. As an alternative, we introduce CodeMind, a framework designed to gauge the code reasoning abilities of LLMs. CodeMind currently supports three code reasoning tasks: Independent Execution Reasoning (IER), Dependent Execution Reasoning (DER), and Specification Reasoning (SR). The first two evaluate models to predict the execution output…

Ruledger: Ensuring Execution Integrity in Trigger-Action IoT Platforms
Jingwen Fan, Yi He, Bo Tang, Qi Li, Ravi Sandhu
https://arxiv.org/abs/2402.19011 htt…

Ruledger: Ensuring Execution Integrity in Trigger-Action IoT Platforms
Smart home IoT systems utilize trigger-action platforms, e.g., IFTTT, to manage devices from various vendors. However, they may be abused by triggering malicious rule execution with forged IoT devices or events violating the execution integrity and the intentions of the users. To address this issue, we propose a ledger based IoT platform called Ruledger, which ensures the correct execution of rules by verifying the authenticity of the corresponding information. Ruledger utilizes smart contracts…

One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices
Marco Chilese, Richard Mitev, Meni Orenbach, Robert Thorburn, Ahmad Atamli, Ahmad-Reza Sadeghi
https://arxiv.org/abs/2403.07465

One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices
Control-Flow Attestation (CFA) is a security service that allows an entity (verifier) to verify the integrity of code execution on a remote computer system (prover). Existing CFA schemes suffer from impractical assumptions, such as requiring access to the prover's internal state (e.g., memory or code), the complete Control-Flow Graph (CFG) of the prover's software, large sets of measurements, or tailor-made hardware. Moreover, current CFA schemes are inadequate for attesting embedded systems du…

The Future of MEV
Jonah Burian
https://arxiv.org/abs/2404.04262 https://arxiv.org/pdf/2404.04262

The Future of MEV
This paper analyzes the Execution Tickets proposal on Ethereum Research, unveiling its potential to revolutionize the Ethereum blockchain's economic model. At the core of this proposal lies a novel ticketing mechanism poised to redefine how the Ethereum protocol distributes the value associated with proposing execution payloads. This innovative approach enables the Ethereum protocol to directly broker Maximal Extractable Value (MEV), traditionally an external revenue stream for validators. The …

This https://arxiv.org/abs/2405.01309 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

Execution-free Program Repair
Automatic program repair usually relies heavily on test cases for both bug identification and fix validation. The issue is that writing test cases is tedious, running them takes much time, and validating a fix through tests does not guarantee its correctness. The novel idea in the Proof2Fix methodology and tool presented here is to rely instead on a program prover, without the need to run tests or to run the program at all. Results show that Proof2Fix finds and fixes significant historical bugs.

This https://arxiv.org/abs/2404.06721 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
The rise in IoT-driven distributed data analytics, coupled with increasing privacy concerns, has led to a demand for effective privacy-preserving and federated data collection/model training mechanisms. In response, approaches such as Federated Learning (FL) and Local Differential Privacy (LDP) have been proposed and attracted much attention over the past few years. However, they still share the common limitation of being vulnerable to poisoning attacks wherein adversaries compromising edge dev…