Related papers: A physically cryptographic warhead verification sy…
Recent advances in the verification of deep neural networks (DNNs) have opened the way for a broader usage of DNN verification technology in many application areas, including safety-critical ones. However, DNN verifiers are themselves…
With substantial amount of time, resources and human (team) efforts invested to explore and develop successful deep neural networks (DNN), there emerges an urgent need to protect these inventions from being illegally copied, redistributed,…
Recent developments in deep neural networks (DNNs) have led to their adoption in safety-critical systems, which in turn has heightened the need for guaranteeing their safety. These safety properties of DNNs can be proven using tools…
Randomness is a very important resource for cryptography, algorithms, and scientific simulations. Since all classical processes are considered to be intrinsically deterministic, we must build quantum random number generators which utilize…
The fundamental knowledge on neutrinos acquired in the recent years open the possibility of applied neutrino physics. Among it the automatic and non intrusive monitoring of nuclear reactor by its antineutrino signal could be very valuable…
Entanglement is one of the most prominent features of quantum mechanics and serves as an essential resource in quantum information science. Therefore, the certification of entanglement is crucial for quantum information processing tasks.…
A whole range of attacks becomes possible when adversaries gain physical access to computing systems that process or contain sensitive data. Examples include side-channel analysis, bus probing, device cloning, or implanting hardware…
Secure communication is of paramount importance in modern society. Asymmetric cryptography methods such as the widely used RSA method allow secure exchange of information between parties who have not shared secret keys. However, the…
As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future, since it can guarantee the absence of errors and entire…
The threat of smuggled nuclear/radiological weapons and material in commercial containerized cargo remains a significant threat to global security more than a decade after the enactment of laws in the United States and elsewhere mandating…
Cryptographic key exchange protocols traditionally rely on computational conjectures such as the hardness of prime factorisation to provide security against eavesdropping attacks. Remarkably, quantum key distribution protocols like the one…
Potential applications of neutrino detection to nuclear security have been discussed since the 1970s. Recent years have seen great progress in detector technologies based on inverse beta decay, with the demonstration of ton-scale…
Radio Frequency Fingerprinting (RFF) techniques allow a receiver to authenticate a transmitter by analyzing the physical layer of the radio spectrum. Although the vast majority of scientific contributions focus on improving the performance…
There have been suggestions to measure atomic parity nonconservation (PNC) along an isotopic chain, by taking ratios of observables in order to cancel complicated atomic structure effects. Precise atomic PNC measurements could make a…
In this paper, a novel theoretical scheme is presented to investigate resonant levels in weakly bound nuclear systems by the use of isospectral potentials. In this scheme, a new potential is constructed which is strictly isospectral with…
The Wireless Sensors Network (WSN) is an emergent technology resulting from progress of various fields. Many applications of networks WSN are born. One of the applications which have an operational effectiveness relates to the field of…
Deep Neural Networks are increasingly adopted in critical tasks that require a high level of safety, e.g., autonomous driving. While state-of-the-art verifiers can be employed to check whether a DNN is unsafe w.r.t. some given property…
The realization of devices which harness the laws of quantum mechanics represents an exciting challenge at the interface of modern technology and fundamental science. An exemplary paragon of the power of such quantum primitives is the…
Deepfakes - manipulated or forged audio and video media - pose significant security risks to individuals, organizations, and society at large. To address these challenges, machine learning-based classifiers are commonly employed to detect…
Atomic physics techniques for the determination of ground-state properties of radioactive isotopes are very sensitive and provide accurate masses, binding energies, Q-values, charge radii, spins, and electromagnetic moments. Many fields in…