共找到 20 条结果
This paper presents DAEDALUS, a software diversity-based framework designed to resist ROP attacks on Linux-based IoT devices. DAEDALUS generates unique, semantically equivalent but syntactically different rewrites of IoT firmware, disrupting large-scale replication of ROP attacks. DAEDALUS employs STOKE, a stochastic optimizer for x86 binaries, as its core diversity engine but introduces significant extensions to address unique IoT firmware challenges. DAEDALUS's effectiveness is evaluated using DDoSim, a published botnet DDoS attack simulation testbed. Results demonstrate that DAEDALUS successfully neutralizes ROP payloads by diversifying critical basic blocks in the firmware, preventing attackers from compromising multiple devices for DDoS attacks via memory error vulnerabilities. The findings indicate that DAEDALUS not only mitigates the impact of ROP attacks on individual IoT devices through probabilistic protection but also thwarts large-scale ROP attacks across multiple devices.
Distributed Stream Processing (DSP) systems are capable of processing large streams of unbounded data, offering high throughput and low latencies. To maintain a stable Quality of Service (QoS), these systems require a sufficient allocation of resources. At the same time, over-provisioning can result in wasted energy and high operating costs. Therefore, to maximize resource utilization, autoscaling methods have been proposed that aim to efficiently match the resource allocation with the incoming workload. However, determining when and by how much to scale remains a significant challenge. Given the long-running nature of DSP jobs, scaling actions need to be executed at runtime, and to maintain a good QoS, they should be both accurate and infrequent. To address the challenges of autoscaling, the concept of self-adaptive systems is particularly fitting. These systems monitor themselves and their environment, adapting to changes with minimal need for expert involvement. This paper introduces Daedalus, a self-adaptive manager for autoscaling in DSP systems, which draws on the principles of self-adaption to address the challenge of efficient autoscaling. Daedalus monitors a running DSP jo
In recent years, interplanetary exploration has gained significant momentum, leading to a focus on the development of launch vehicles. However, the critical technology of edl mechanisms has not received the same level of attention and remains less mature and capable. To address this gap, we took advantage of the REXUS program to develop a pioneering edl mechanism. We propose an alternative to conventional, parachute based landing vehicles by utilizing autorotation. Our approach enables future additions such as steerability, controllability, and the possibility of a soft landing. To validate the technique and our specific implementation, we conducted a sounding rocket experiment on REXUS29. The systems design is outlined with relevant design decisions and constraints, covering software, mechanics, electronics and control systems. Furthermore, an emphasis will also be the organization and setup of the team entirely made up and executed by students. The flight results on REXUS itself are presented, including the most important outcomes and possible reasons for mission failure. We have not archived an autorotation based landing, but provide a reliable way of building and operating such
The Daedalus 2 mission aboard REXUS 29 is a technology demonstrator for an alternative descent mechanism for very high altitude drops based on auto-rotation. It consists of two probes that are ejected from a sounding rocket at an altitude of about 80 km and decelerate to a soft landing using only a passive rotor with pitch control. This type of autonomous, scientific experiment poses great challenges upon the electronics subsystem, which include mechanical stress, power system reliability, sensor redundancy, subsystem communication, and development procedures. Based on the data gathered in Daedalus 1 multiple new approaches were developed to fulfill these requirements, such as redundant communication links, mechanical decoupling of PCBs and fault-tolerant power source selection.
DAEdALUS, a Decay-At-rest Experiment for delta_CP studies At the Laboratory for Underground Science, provides a new approach to the search for CP violation in the neutrino sector. The design utilizes low-cost, high-power proton accelerators under development for commercial uses. These provide neutrino beams with energy up to 52 MeV from pion and muon decay-at-rest. The experiment searches for aninu_mu to antinu_e at short baselines corresponding to the atmospheric Delta m^2 region. The antinu_e will be detected, via inverse beta decay, in the 300 kton fiducial-volume Gd-doped water Cherenkov neutrino detector proposed for the Deep Underground Science and Engineering Laboratory (DUSEL). DAEdALUS opens new opportunities for DUSEL. It provides a high-statistics, low-background alternative for CP violation searches which matches the capability of the conventional long-baseline neutrino experiment, LBNE. Because of the complementary designs, when DAEdALUS antineutrino data are combined with LBNE neutrino data, the sensitivity of the CP-violation search improves beyond any present proposals, including the proposal for Project X. Also, the availability of an on-site neutrino beam opens op
The Daedalus experiment seeks to evaluate neutrino scattering effects that go beyond the standard model. Modular accelerators are employed to produce 800 MeV proton beams at the megawatt power level directed toward a target, producing neutrinos. The Superconducting Ring Cyclotron (SRC) consists of identical sectors (currently 6) of superconducting dipole magnets with iron return frames. The Daedalus Collaboration has produced a conceptual design for the magnet, which, after several iterations, is the current best design that achieves the physics requirements of the experiment. The Technology and Engineering Division (T&ED) of the MIT Plasma Science and Fusion Center was awarded with a contract by the Daedalus team to further develop the magnet conceptual design. The resulting Engineering Study is reported here.
DAEdALUS is an experiment to measure the CP-violation angle in the neutrino sector by producing multiple, intense beams of neutrinos from pion- and muon-decays-at-rest near an ultra-large water Cerenkov detector. In this talk, a design for the proposed Deep Underground Science and Engineering Laboratory in the U.S. was presented. DAEdALUS will be statistics-limited and have different systematic errors than long baseline CP-violation searches. When the data from both searches are combined, the sensitivity exceeds proton-driver designs. In this proceeding, we briefly describe one of several alternative cyclotron designs under consideration for DAEdALUS, as an example.
This report provides a first design for H2+ accelerators as the DAEdALUS neutrino sources. A description of all aspects of the system, from the ion source to the extracted beam, is provided. The analysis provides a first proof of principle of a full cyclotron system which can provide the necessary beam power for the CP violation search proposed by the DAEdALUS Collaboration.
This paper demonstrates that Non-Maximum Suppression (NMS), which is commonly used in Object Detection (OD) tasks to filter redundant detection results, is no longer secure. Considering that NMS has been an integral part of OD systems, thwarting the functionality of NMS can result in unexpected or even lethal consequences for such systems. In this paper, an adversarial example attack which triggers malfunctioning of NMS in end-to-end OD models is proposed. The attack, namely \texttt{Daedalus}, compresses the dimensions of detection boxes to evade NMS. As a result, the final detection output contains extremely dense false positives. This can be fatal for many OD applications such as autonomous vehicles and surveillance systems. The attack can be generalised to different end-to-end OD models, such that the attack cripples various OD applications. Furthermore, a way to craft robust adversarial examples is developed by using an ensemble of popular detection models as the substitutes. Considering the pervasive nature of model reusing in real-world OD scenarios, Daedalus examples crafted based on an \textit{ensemble of substitutes} can launch attacks without knowing the parameters of the
The Decay-At-rest Experiment for delta-CP violation At a Laboratory for Underground Science (DAEdALUS) and the Isotope Decay-At-Rest experiment (IsoDAR) are proposed experiments to search for CP violation in the neutrino sector, and "sterile" neutrinos, respectively. In order to be decisive within 5 years, the neutrino flux and, consequently, the driver beam current (produced by chained cyclotrons) must be high. H2+ was chosen as primary beam ion in order to reduce the electrical current and thus space charge. This has the added advantage of allowing for stripping extraction at the exit of the DAEdALUS Superconducting Ring Cyclotron (DSRC). The primary beam current is higher than current cyclotrons have demonstrated which has led to a substantial R&D effort of our collaboration in the last years. We present the results of this research, including tests of prototypes and highly realistic beam simulations, which led to the latest physics-based design. The presented results suggest that it is feasible, albeit challenging, to accelerate 5 mA of H2+ to 60 MeV/amu in a compact cyclotron and boost it to 800 MeV/amu in the DSRC with clean extraction in both cases.
This study presents comparative CP sensitivities for various sets of water Cerenkov and liquid argon detectors combined with various running scenarios associated with DAEdALUS and LBNE neutrino beams at DUSEL. LBNE-only running scenarios show fairly small differences in sensitivity for the various detector combinations. On the other hand, the DAEdALUS-only and DAEdALUS-plus-LBNE running gives significantly better sensitivity for a detector combination that includes at least 200 kt of Gd-doped water Cerenkov detector, exceeding the sensitivity of a Project-X 10 year run. A 300 kt Gd-doped water Cerenkov detector yields the best sensitivity for combined running.
Among laboratory probes of dark matter, fixed-target neutrino experiments are particularly well-suited to search for light weakly-coupled dark sectors. In this paper, we show that the DAEdALUS source setup---an 800 MeV proton beam impinging on a target of graphite and copper---can improve the present LSND bound on dark photon models by an order of magnitude over much of the accessible parameter space for light dark matter when paired with a suitable neutrino detector such as LENA. Interestingly, both DAEdALUS and LSND are sensitive to dark matter produced from off-shell dark photons. We show for the first time that LSND can be competitive with searches for visible dark photon decays, and that fixed-target experiments have sensitivity to a much larger range of heavy dark photon masses than previously thought. We review the mechanism for dark matter production and detection through a dark photon mediator, discuss the beam-off and beam-on backgrounds, and present the sensitivity in dark photon kinetic mixing for both the DAEdALUS/LENA setup and LSND in both the on- and off-shell regimes.
Neutrino physics is a forefront topic of today's research. Large detectors installed underground study neutrino properties using neutrino beams from muons decaying in flight. DAEdALUS looks at neutrinos from stopped muons, "decay at rest" (DAR) neutrinos. The DAR neutrino spectrum has effectively no electron antineutrinos (essentially all pi- are absorbed), so a detector with free protons is sensitive to appearance of nu-e-bar oscillating from nu-mu-bar via inverse-beta-decay (IBD). Oscillations are studied using sources relatively near the detector, but which explore the same physics as the high-energy neutrino beams from Long Baseline experiments. As the DAR spectrum is fixed, the baseline is varied: plans call for 3 accelerator-based neutrino sources at 1.5, 8 and 20 km with staggered beam-on times. Compact, cost-effective superconducting ring cyclotrons accelerating molecular hydrogen ions (H2+) to 800 MeV/n with stripping extraction are being designed by L. Calabretta and his group. This revolutionary design could find application in many ADS-related fields.
This whitepaper describes the status of the DAEdALUS program for development of high power cyclotrons as of the time of the final meeting of the Division of Particles and Fields 2013 Community Study ("Snowmass"). We report several new results, including a measurement capability between 4 and 12 degrees on the CP violating parameter in the neutrino sector. Past results, including the capability of the IsoDAR high Dm^2 antielectron neutrino disappearance search, are reviewed. A discussion of the R&D successes, including construction of a beamline teststand, and future plans are provided. This text incorporates short whitepapers written for subgroups in the Intensity Frontier and Frontier Capabilities Working Groups that are available on the Snowmass website.
During the 1970s members of the British Interplanetary Society embarked on a landmark theoretical engineering design study to send a probe to Barnard's star. Project Daedalus was a two-stage vehicle employing electron beam driven inertial confinement fusion engines to reach its target destination. This paper sets out the proposal for a successor interstellar design study called Project Icarus. This is an attempt to redesign the Daedalus vehicle with similar terms of reference. The aim of this study is to evolve an improved engineering design and move us closer to achieving interstellar exploration. Although this paper does not discuss prematurely what design modification are likely to occur some indications are given from the nature of the discussions. This paper is a submission of the Project Icarus Study Group.
This document addresses concerns raised about possible limits, due to space charge, to the maximum H2+ ion beam current that can be injected into and accepted by a compact cyclotron. The discussion of the compact cyclotron is primarily within the context of the proposed DAEdALUS and IsoDAR neutrino experiments. These concerns are examined by the collaboration and addressed individually. While some of the concerns are valid, and present serious challenges to the proposed program, the collaboration sees no immediate showstoppers. However, some of the issues raised clearly need to be addressed carefully--analytically, through simulation, and through experiments. In this report, the matter is discussed, references are given to work already done and future plans are outlined.
The very-high current cyclotrons being designed for the IsoDAR and DAEdALUS experiments are of value to fields outside of neutrino physics. In particular, the medical isotopes industry can benefit from these cyclotron developments to produce a new generation of machines with capabilities far in excess of today's technology. This paper provides a tutorial on the field of medical isotopes: from properties of isotopes desired for clinical applications, to production considerations and available technology, concluding with discussion of the impact of the new cyclotrons on the field.
Project Daedalus (1973--1978), the most detailed interstellar probe design study ever conducted, specified a 9 mm beryllium erosion shield to protect the spacecraft payload during its 5.9 light-year cruise to Barnard's Star at 12% of the speed of light. This design, however, predated both the isolation of two-dimensional materials and the development of graph neural network (GNN) property predictors. Here, we systematically screen 20 candidate materials--spanning conventional aerospace metals, transition metal dichalcogenides, and ultra-high-temperature ceramics--using density functional theory (DFT) data from the JARVIS database (76,000 materials) with independent validation by the Atomistic Line Graph Neural Network (ALIGNN). We evaluate candidates across four criteria: specific mechanical stiffness (KV/rho), sputtering resistance, thermal neutron absorption cross-section, and thermodynamic stability. Our screening identifies hexagonal boron nitride (h-BN) and boron carbide (B4C) as dual-function materials offering simultaneous mechanical protection and neutron radiation shielding, and we propose a graphene/h-BN/polymer layered heterostructure shield design that achieves an estim
This essay examines how judicial review should adapt to address challenges posed by artificial intelligence decision-making, particularly regarding minority rights and interests. As I argue in this essay, the rise of three trends-privatization, prediction, and automation in AI-have combined to pose similar risks to minorities. Here, I outline what a theory of judicial review would look like in an era of artificial intelligence, analyzing both the limitations and the possibilities of judicial review of AI. I draw on cases in which AI decision-making has been challenged in courts, to show how concepts of due process and equal protection can be recuperated in a modern AI era, and even integrated into AI, to provide for better oversight and accountability, offering a framework for judicial review in the AI era that protects minorities from algorithmic discrimination.
We propose a novel algorithm for epistemic planning based on dynamic epistemic logic (DEL). The novelty is that we limit the depth of reasoning of the planning agent to an upper bound b, meaning that the planning agent can only reason about higher-order knowledge to at most (modal) depth b. We then compute a plan requiring the lowest reasoning depth by iteratively incrementing the value of b. The algorithm relies at its core on a new type of "canonical" b-bisimulation contraction that guarantees unique minimal models by construction. This yields smaller states wrt. standard bisimulation contractions, and enables to efficiently check for visited states. We show soundness and completeness of our planning algorithm, under suitable bounds on reasoning depth, and that, for a bound b, it runs in (b+1)-EXPTIME. We implement the algorithm in a novel epistemic planner, DAEDALUS, and compare it to the EFP 2.0 planner on several benchmarks from the literature, showing effective performance improvements.