-
TALOS (Total Automation of LabVIEW Operations for Science): A framework for autonomous control systems for complex experiments
Authors:
M. Volponi,
J. Zieliński,
T. Rauschendorfer,
S. Huck,
R. Caravita,
M. Auzins,
B. Bergmann,
P. Burian,
R. S. Brusa,
A. Camper,
F. Castelli,
G. Cerchiari,
R. Ciuryło,
G. Consolati,
M. Doser,
K. Eliaszuk,
A. Giszczak,
L. T. Glöggler,
Ł. Graczykowski,
M. Grosbart,
F. Guatieri,
N. Gusakova,
F. Gustafsson,
S. Haider,
M. A. Janik
, et al. (30 additional authors not shown)
Abstract:
Modern physics experiments are frequently very complex, relying on multiple simultaneous events to happen in order to obtain the desired result. The experiment control system plays a central role in orchestrating the measurement setup: However, its development is often treated as secondary with respect to the hardware, its importance becoming evident only during the operational phase. Therefore, t…
▽ More
Modern physics experiments are frequently very complex, relying on multiple simultaneous events to happen in order to obtain the desired result. The experiment control system plays a central role in orchestrating the measurement setup: However, its development is often treated as secondary with respect to the hardware, its importance becoming evident only during the operational phase. Therefore, the AEgIS (Antimatter Experiment: Gravity, Interferometry, Spectroscopy) collaboration has created a framework for easily coding control systems, specifically targeting atomic, quantum, and antimatter experiments. This framework, called Total Automation of LabVIEW Operations for Science (TALOS), unifies all the machines of the experiment in a single entity, thus enabling complex high-level decisions to be taken, and it is constituted by separate modules, called MicroServices, that run concurrently and asynchronously. This enhances the stability and reproducibility of the system while allowing for continuous integration and testing while the control system is running. The system demonstrated high stability and reproducibility, running completely unsupervised during the night and weekends of the data-taking campaigns. The results demonstrate the suitability of TALOS to manage an entire physics experiment in full autonomy: being open-source, experiments other than the AEgIS experiment can benefit from it.
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
Real-time antiproton annihilation vertexing with sub-micron resolution
Authors:
M. Berghold,
D. Orsucci,
F. Guatieri,
S. Alfaro,
M. Auzins,
B. Bergmann,
P. Burian,
R. S. Brusa,
A. Camper,
R. Caravita,
F. Castelli,
G. Cerchiari,
R. Ciuryło,
A. Chehaimi,
G. Consolati,
M. Doser,
K. Eliaszuk,
R. Ferguson,
M. Germann,
A. Giszczak,
L. T. Glöggler,
Ł. Graczykowski,
M. Grosbart,
F. Guatieri,
N. Gusakova
, et al. (42 additional authors not shown)
Abstract:
The primary goal of the AEgIS experiment is to precisely measure the free fall of antihydrogen within Earth's gravitational field. To this end, a cold ~50K antihydrogen beam has to pass through two grids forming a moiré deflectometer before annihilating onto a position-sensitive detector, which shall determine the vertical position of the annihilation vertex relative to the grids with micrometric…
▽ More
The primary goal of the AEgIS experiment is to precisely measure the free fall of antihydrogen within Earth's gravitational field. To this end, a cold ~50K antihydrogen beam has to pass through two grids forming a moiré deflectometer before annihilating onto a position-sensitive detector, which shall determine the vertical position of the annihilation vertex relative to the grids with micrometric accuracy. Here we introduce a vertexing detector based on a modified mobile camera sensor and experimentally demonstrate that it can measure the position of antiproton annihilations with an accuracy of $0.62^{+0.40}_{-0.22}μm$, which represents a 35-fold improvement over the previous state-of-the-art for real-time antiproton vertexing. Importantly, these antiproton detection methods are directly applicable to antihydrogen. Moreover, the sensitivity to light of the sensor enables the in-situ calibration of the moiré deflectometer, significantly reducing systematic errors. This sensor emerges as a breakthrough technology for achieving the \aegis scientific goals and has been selected as the basis for the development of a large-area detector for conducting antihydrogen gravity measurements.
△ Less
Submitted 23 June, 2024;
originally announced June 2024.
-
Temperature and Pressure Dependent Luminescence Mechanism of Zinc-Blende Structured ZnS:Mn Nanophosphor under UV and X-ray Excitations
Authors:
A. K. Somakumar,
Y. Zhydachevskyy,
D. Wlodarczyk,
S. S Haider,
J. Barzowska,
K. R Bindu,
Y. K. Edathumkandy,
Tatiana Zajarniuk,
A. Szewczyk,
S. Narayanan,
A. Lysak,
H. Przybylińska,
E. I Anila,
A. Suchocki
Abstract:
A comprehensive photoluminescence and mechanoluminescence analysis of ZnS:Mn2+ nano-phosphor with zinc blende structure is presented. The sample containing quantum dot-sized nanocrystallites were synthesized by the chemical precipitation method and shows excellent orange luminescence at ambient conditions related to the 4T1->6A1 transition. The sample shows stable and identical luminescence behavi…
▽ More
A comprehensive photoluminescence and mechanoluminescence analysis of ZnS:Mn2+ nano-phosphor with zinc blende structure is presented. The sample containing quantum dot-sized nanocrystallites were synthesized by the chemical precipitation method and shows excellent orange luminescence at ambient conditions related to the 4T1->6A1 transition. The sample shows stable and identical luminescence behavior under both UV and X-ray excitation at ambient conditions and also shows excellent self-powered mechanoluminescence properties. The pressure and temperature-induced luminescence mechanism of the phosphor is also established. The shift of the 4T1->6A1 luminescence band of Mn2+ with both pressure and temperature and the luminescence mechanism is explained via the d5 Tanabe Sugano diagram. The broad luminescence band of 4T1->6A1 transition shifts from visible to near-infrared range at a rate of -35.8 meV/GPa with the increase of pressure and it is subsequently quenched completely at a pressure of 16.41 GPa due to a reversible phase transition from zinc blende to rocksalt phase. The high-pressure and temperature-dependent decay kinetics measurements of the sample luminescence are also reported.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
CIRCUS: an autonomous control system for antimatter, atomic and quantum physics experiments
Authors:
Marco Volponi,
Saiva Huck,
Ruggero Caravita,
Jakub Zielinski,
Georgy Kornakov,
Grzegorz Kasprowicz,
Dorota Nowicka,
Tassilo Rauschendorfer,
Benjamin Rienäcker,
Francesco Prelz,
Marcis Auzins,
Benedikt Bergmann,
Petr Burian,
Roberto Sennen Brusa,
Antoine Camper,
Fabrizio Castelli,
Roman Ciuryło,
Giovanni Consolati,
Michael Doser,
Lisa Glöggler,
Łukasz Graczykowski,
Malgorzata Grosbart,
Francesco Guatieri,
Nataly Gusakova,
Fredrik Gustafsson
, et al. (27 additional authors not shown)
Abstract:
A powerful and robust control system is a crucial, often neglected, pillar of any modern, complex physics experiment that requires the management of a multitude of different devices and their precise time synchronisation. The AEgIS collaboration presents CIRCUS, a novel, autonomous control system optimised for time-critical experiments such as those at CERN's Antiproton Decelerator and, more broad…
▽ More
A powerful and robust control system is a crucial, often neglected, pillar of any modern, complex physics experiment that requires the management of a multitude of different devices and their precise time synchronisation. The AEgIS collaboration presents CIRCUS, a novel, autonomous control system optimised for time-critical experiments such as those at CERN's Antiproton Decelerator and, more broadly, in atomic and quantum physics research. Its setup is based on Sinara/ARTIQ and TALOS, integrating the ALPACA analysis pipeline, the last two developed entirely in AEgIS. It is suitable for strict synchronicity requirements and repeatable, automated operation of experiments, culminating in autonomous parameter optimisation via feedback from real-time data analysis. CIRCUS has been successfully deployed and tested in AEgIS; being experiment-agnostic and released open-source, other experiments can leverage its capabilities.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
Positronium laser cooling via the $1^3S$-$2^3P$ transition with a broadband laser pulse
Authors:
L. T. Glöggler,
N. Gusakova,
B. Rienäcker,
A. Camper,
R. Caravita,
S. Huck,
M. Volponi,
T. Wolz,
L. Penasa,
V. Krumins,
F. Gustafsson,
M. Auzins,
B. Bergmann,
P. Burian,
R. S. Brusa,
F. Castelli,
R. Ciuryło,
D. Comparat,
G. Consolati,
M. Doser,
Ł. Graczykowski,
M. Grosbart,
F. Guatieri,
S. Haider,
M. A. Janik
, et al. (27 additional authors not shown)
Abstract:
We report on laser cooling of a large fraction of positronium (Ps) in free-flight by strongly saturating the $1^3S$-$2^3P$ transition with a broadband, long-pulsed 243 nm alexandrite laser. The ground state Ps cloud is produced in a magnetic and electric field-free environment. We observe two different laser-induced effects. The first effect is an increase in the number of atoms in the ground stat…
▽ More
We report on laser cooling of a large fraction of positronium (Ps) in free-flight by strongly saturating the $1^3S$-$2^3P$ transition with a broadband, long-pulsed 243 nm alexandrite laser. The ground state Ps cloud is produced in a magnetic and electric field-free environment. We observe two different laser-induced effects. The first effect is an increase in the number of atoms in the ground state after the time Ps has spent in the long-lived $3^3P$ states. The second effect is the one-dimensional Doppler cooling of Ps, reducing the cloud's temperature from 380(20) K to 170(20) K. We demonstrate a 58(9) % increase in the coldest fraction of the Ps ensemble.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Temperature Dependent Failure of Atomically Thin MoTe2
Authors:
A S M Redwan Haider,
Ahmad Fatehi Ali Mohammed Hezam,
Md Akibul Islam,
Yeasir Arafat,
Mohammad Tanvirul Ferdaous,
Sayedus Salehin,
Md. Rezwanul Karim
Abstract:
In this study, we systematically investigated the mechanical responses of monolayer molybdenum ditelluride (MoTe2) using molecular dynamics (MD) simulations. The tensile behavior of trigonal prismatic phase (2H phase) MoTe2 under uniaxial strain was simulated in the armchair and zigzag directions. We also investigated the crack formation and propagation in both armchair and zigzag directions at 10…
▽ More
In this study, we systematically investigated the mechanical responses of monolayer molybdenum ditelluride (MoTe2) using molecular dynamics (MD) simulations. The tensile behavior of trigonal prismatic phase (2H phase) MoTe2 under uniaxial strain was simulated in the armchair and zigzag directions. We also investigated the crack formation and propagation in both armchair and zigzag directions at 10K and 300K to understand the fracture behavior of monolayer MoTe2 at different temperatures. The MD simulations show clean cleavage for the armchair direction, and the cracks were numerous and scattered in the case of the zigzag direction. Finally, we investigated the effect of temperature on Young's modulus and fracture stress of monolayer MoTe2. The results show that at a strain rate of 10^-4 ps^-1, the fracture strength of monolayer MoTe2 in the armchair and zigzag directions at 10K is 16.33 GPa (11.43 N/m) and 13.71 GPa (9.46 N/m) under a 24% and 18% fracture strain, respectively. The fracture strength of monolayer MoTe2 in the armchair and zigzag direction at 600K is 10.81 GPa (7.56 N/m) and 10.13 GPa (7.09 N/m) under a 12.5% and 12.47% fracture strain, respectively.
△ Less
Submitted 20 January, 2024; v1 submitted 26 June, 2023;
originally announced June 2023.
-
This Land is {Your, My} Land: Evaluating Geopolitical Biases in Language Models
Authors:
Bryan Li,
Samar Haider,
Chris Callison-Burch
Abstract:
Do the Spratly Islands belong to China, the Philippines, or Vietnam? A pretrained large language model (LLM) may answer differently if asked in the languages of each claimant country: Chinese, Tagalog, or Vietnamese. This contrasts with a multilingual human, who would likely answer consistently. In this paper, we show that LLMs recall certain geographical knowledge inconsistently when queried in d…
▽ More
Do the Spratly Islands belong to China, the Philippines, or Vietnam? A pretrained large language model (LLM) may answer differently if asked in the languages of each claimant country: Chinese, Tagalog, or Vietnamese. This contrasts with a multilingual human, who would likely answer consistently. In this paper, we show that LLMs recall certain geographical knowledge inconsistently when queried in different languages -- a phenomenon we term geopolitical bias. As a targeted case study, we consider territorial disputes, an inherently controversial and multilingual task. We introduce BorderLines, a dataset of territorial disputes which covers 251 territories, each associated with a set of multiple-choice questions in the languages of each claimant country (49 languages in total). We also propose a suite of evaluation metrics to precisely quantify bias and consistency in responses across different languages. We then evaluate various multilingual LLMs on our dataset and metrics to probe their internal knowledge and use the proposed metrics to discover numerous inconsistencies in how these models respond in different languages. Finally, we explore several prompt modification strategies, aiming to either amplify or mitigate geopolitical bias, which highlights how brittle LLMs are and how they tailor their responses depending on cues from the interaction context. Our code and data are available at https://github.com/manestay/borderlines
△ Less
Submitted 1 April, 2024; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Urdu News Article Recommendation Model using Natural Language Processing Techniques
Authors:
Syed Zain Abbas,
Arif ur Rahman,
Abdul Basit Mughal,
Syed Mujtaba Haider
Abstract:
There are several online newspapers in urdu but for the users it is difficult to find the content they are looking for because these most of them contain irrelevant data and most users did not get what they want to retrieve. Our proposed framework will help to predict Urdu news in the interests of users and reduce the users searching time for news. For this purpose, NLP techniques are used for pre…
▽ More
There are several online newspapers in urdu but for the users it is difficult to find the content they are looking for because these most of them contain irrelevant data and most users did not get what they want to retrieve. Our proposed framework will help to predict Urdu news in the interests of users and reduce the users searching time for news. For this purpose, NLP techniques are used for pre-processing, and then TF-IDF with cosine similarity is used for gaining the highest similarity and recommended news on user preferences. Moreover, the BERT language model is also used for similarity, and by using the BERT model similarity increases as compared to TF-IDF so the approach works better with the BERT language model and recommends news to the user on their interest. The news is recommended when the similarity of the articles is above 60 percent.
△ Less
Submitted 29 May, 2022;
originally announced June 2022.
-
Exploiting Transliterated Words for Finding Similarity in Inter-Language News Articles using Machine Learning
Authors:
Sameea Naeem,
Arif ur Rahman,
Syed Mujtaba Haider,
Abdul Basit Mughal
Abstract:
Finding similarities between two inter-language news articles is a challenging problem of Natural Language Processing (NLP). It is difficult to find similar news articles in a different language other than the native language of user, there is a need for a Machine Learning based automatic system to find the similarity between two inter-language news articles. In this article, we propose a Machine…
▽ More
Finding similarities between two inter-language news articles is a challenging problem of Natural Language Processing (NLP). It is difficult to find similar news articles in a different language other than the native language of user, there is a need for a Machine Learning based automatic system to find the similarity between two inter-language news articles. In this article, we propose a Machine Learning model with the combination of English Urdu word transliteration which will show whether the English news article is similar to the Urdu news article or not. The existing approaches to find similarities has a major drawback when the archives contain articles of low-resourced languages like Urdu along with English news article. The existing approaches to find similarities has drawback when the archives contain low-resourced languages like Urdu along with English news articles. We used lexicon to link Urdu and English news articles. As Urdu language processing applications like machine translation, text to speech, etc are unable to handle English text at the same time so this research proposed technique to find similarities in English and Urdu news articles based on transliteration.
△ Less
Submitted 29 May, 2022;
originally announced June 2022.
-
Speaker Identification using Speech Recognition
Authors:
Syeda Rabia Arshad,
Syed Mujtaba Haider,
Abdul Basit Mughal
Abstract:
The audio data is increasing day by day throughout the globe with the increase of telephonic conversations, video conferences and voice messages. This research provides a mechanism for identifying a speaker in an audio file, based on the human voice biometric features like pitch, amplitude, frequency etc. We proposed an unsupervised learning model where the model can learn speech representation wi…
▽ More
The audio data is increasing day by day throughout the globe with the increase of telephonic conversations, video conferences and voice messages. This research provides a mechanism for identifying a speaker in an audio file, based on the human voice biometric features like pitch, amplitude, frequency etc. We proposed an unsupervised learning model where the model can learn speech representation with limited dataset. Librispeech dataset was used in this research and we were able to achieve word error rate of 1.8.
△ Less
Submitted 29 May, 2022;
originally announced May 2022.
-
Edge Detection and Deep Learning Based SETI Signal Classification Method
Authors:
Zhewei Chen,
Sami Ahmed Haider
Abstract:
Scientists at the Berkeley SETI Research Center are Searching for Extraterrestrial Intelligence (SETI) by a new signal detection method that converts radio signals into spectrograms through Fourier transforms and classifies signals represented by two-dimensional time-frequency spectrums, which successfully converts a signal classification problem into an image classification task. In view of the n…
▽ More
Scientists at the Berkeley SETI Research Center are Searching for Extraterrestrial Intelligence (SETI) by a new signal detection method that converts radio signals into spectrograms through Fourier transforms and classifies signals represented by two-dimensional time-frequency spectrums, which successfully converts a signal classification problem into an image classification task. In view of the negative impact of background noises on the accuracy of spectrograms classification, a new method is introduced in this paper. After Gaussian convolution smoothing the signals, edge detection functions are applied to detect the edge of the signals and enhance the outline of the signals, then the processed spectrograms are used to train the deep neural network to compare the classification accuracy of various image classification networks. The results show that the proposed method can effectively improve the classification accuracy of SETI spectrums.
△ Less
Submitted 29 March, 2022;
originally announced March 2022.
-
A cryogenic tracking detector for antihydrogen detection in the AEgIS experiment
Authors:
C. Amsler,
M. Antonello,
A. Belov,
G. Bonomi,
R. S. Brusa,
M. Caccia,
A. Camper,
R. Caravita,
F. Castelli,
D. Comparat,
G. Consolati,
A. Demetrio,
L. Di Noto,
M. Doser,
P. A. Ekman,
M. Fani,
R. Ferragut,
S. Gerber,
M. Giammarchi,
A. Gligorova,
F. Guatieri,
P. Hackstock,
D. Haider,
S. Haider,
A. Hinterberger
, et al. (33 additional authors not shown)
Abstract:
We present the commissioning of the Fast Annihilation Cryogenic Tracker detector (FACT), installed around the antihydrogen production trap inside the 1 T superconducting magnet of the AEgIS experiment. FACT is designed to detect pions originating from the annihilation of antiprotons. Its 794 scintillating fibers operate at 4 K and are read out by silicon photomultipliers (MPPCs) at near room tempe…
▽ More
We present the commissioning of the Fast Annihilation Cryogenic Tracker detector (FACT), installed around the antihydrogen production trap inside the 1 T superconducting magnet of the AEgIS experiment. FACT is designed to detect pions originating from the annihilation of antiprotons. Its 794 scintillating fibers operate at 4 K and are read out by silicon photomultipliers (MPPCs) at near room temperature. FACT provides the antiproton/antihydrogen annihilation position information with a few ns timing resolution. We present the hardware and software developments which led to the successful operation of the detector for antihydrogen detection and the results of an antiproton-loss based efficiency assessment. The main background to the antihydrogen signal is that of the positrons impinging onto the positronium conversion target and creating a large amount of gamma rays which produce a sizeable signal in the MPPCs shortly before the antihydrogen signal is expected. We detail the characterization of this background signal and its impact on the antihydrogen detection efficiency.
△ Less
Submitted 6 March, 2022;
originally announced March 2022.
-
Duckworth-Lewis-Stern Method Comparison with Machine Learning Approach
Authors:
Kumail Abbas,
Sajjad Haider
Abstract:
This work presents an analysis of the Duckworth-Lewis-Stern (DLS) method for One Day International (ODI) cricket matches. The accuracy of the DLS method is compared against various supervised learning algorithms for result prediction. The result of a cricket match is predicted during the second inning. The paper also optimized DLS resource table which is used in the Duckworth-Lewis (D/L) formula t…
▽ More
This work presents an analysis of the Duckworth-Lewis-Stern (DLS) method for One Day International (ODI) cricket matches. The accuracy of the DLS method is compared against various supervised learning algorithms for result prediction. The result of a cricket match is predicted during the second inning. The paper also optimized DLS resource table which is used in the Duckworth-Lewis (D/L) formula to increase its predictive power. Finally, an Unpredictability Index is developed that ranks different cricket playing nations according to how unpredictable they are while playing an ODI match.
△ Less
Submitted 31 May, 2021;
originally announced June 2021.
-
Detecting Social Media Manipulation in Low-Resource Languages
Authors:
Samar Haider,
Luca Luceri,
Ashok Deb,
Adam Badawy,
Nanyun Peng,
Emilio Ferrara
Abstract:
Social media have been deliberately used for malicious purposes, including political manipulation and disinformation. Most research focuses on high-resource languages. However, malicious actors share content across countries and languages, including low-resource ones. Here, we investigate whether and to what extent malicious actors can be detected in low-resource language settings. We discovered t…
▽ More
Social media have been deliberately used for malicious purposes, including political manipulation and disinformation. Most research focuses on high-resource languages. However, malicious actors share content across countries and languages, including low-resource ones. Here, we investigate whether and to what extent malicious actors can be detected in low-resource language settings. We discovered that a high number of accounts posting in Tagalog were suspended as part of Twitter's crackdown on interference operations after the 2016 US Presidential election. By combining text embedding and transfer learning, our framework can detect, with promising accuracy, malicious users posting in Tagalog without any prior knowledge or training on malicious content in that language. We first learn an embedding model for each language, namely a high-resource language (English) and a low-resource one (Tagalog), independently. Then, we learn a mapping between the two latent spaces to transfer the detection model. We demonstrate that the proposed approach significantly outperforms state-of-the-art models, including BERT, and yields marked advantages in settings with very limited training data -- the norm when dealing with detecting malicious activity in online platforms.
△ Less
Submitted 19 February, 2023; v1 submitted 10 November, 2020;
originally announced November 2020.
-
Two-stage catalytic hydrotreatment of highly nitrogenous biocrude from continuous hydrothermal liquefaction: A rational design of the stabilization stage
Authors:
Muhammad Salman Haider,
Daniele Castello,
Lasse Aistrup Rosendahl
Abstract:
Effective catalytic hydrotreatment of highly nitrogenous biocrudes derived from the hydrothermal liquefaction (HTL) of primary sewage sludge and microalga Spirulina biomass was explored. A critical issue is the lack of thermal stability of raw HTL biocrudes at the severe conditions (~400 °C) required for hydrodenitrogenation. This fact suggests the need for a two-stage approach, involving a first…
▽ More
Effective catalytic hydrotreatment of highly nitrogenous biocrudes derived from the hydrothermal liquefaction (HTL) of primary sewage sludge and microalga Spirulina biomass was explored. A critical issue is the lack of thermal stability of raw HTL biocrudes at the severe conditions (~400 °C) required for hydrodenitrogenation. This fact suggests the need for a two-stage approach, involving a first low-temperature stabilization stage followed by another one operated at higher temperature. In this study, DSC was successfully used to indicate the thermal stability of both biocrudes. During hydrotreating, it was observed that complete deoxygenation was already achieved in the first stage at 350 °C, with limited coke formation. Moreover, after second stage up to 92% denitrogenation associated with the higher hydrogen consumption (39.9 g kg -1 for Spirulina and 36.9 g kg -1 for sewage sludge) was obtained for both biocrudes. Consequently, comparable oil yields but significantly less coke yields were recorded during two stage upgrading (1.0% for Spirulina and 0.7% for sewage sludge), compared to direct processing at 400 °C (9.1% for Spirulina and 3.4% for sewage sludge). In addition, the properties of the upgraded oils were enhanced by increasing the temperature in the first stage (310 °C, 330 °C and 350 °C respectively). Finally, the results indicated that remarkable drop in fuel properties were obtained, with respect to heteroatom (O and N) removal, HHV, and H/C ratio during the two stage hydrotreatment. Two-stage hydrotreating is therefore proposed as a successful approach for the upgrading of HTL biocrudes with high nitrogen content.
△ Less
Submitted 24 June, 2020; v1 submitted 17 June, 2020;
originally announced June 2020.
-
Explosive Material Detection and Security Alert System (e-DASS)
Authors:
Salman Haider,
Usman Saeed,
Jawad Ashraf,
Fareeha Zafar
Abstract:
The terrorism rate in Pakistan becomes higher even after the advancement of information technology. Especially APS Attack and numerous other in different part of country. The root cause of such attacks as according to our research is as: terrorists utilizing the benefit of lack of a full proof security check system. Traditional explosive detection systems are large in size, expensive and require m…
▽ More
The terrorism rate in Pakistan becomes higher even after the advancement of information technology. Especially APS Attack and numerous other in different part of country. The root cause of such attacks as according to our research is as: terrorists utilizing the benefit of lack of a full proof security check system. Traditional explosive detection systems are large in size, expensive and require manual attention. These systems are not much useful due to its public visibility intruder or terrorists can easily bypass the system using another route. This term paper is mainly focusing on explosive material detection using IoT with WSN. Explosive Material Detection and security alert system (e-DASS) consists of several hundreds of nodes depending upon the geographical area we are going to cover. Each node should be able to communicate with the other node and update the information if necessary. Tracking of the target can be done in an easier and faster way because all the nodes are synchronized. (e-DASS) is a power efficient explosive detection system. Most of the times nodes will be in the idle state, unless and until positive presence of an explosive is found.
△ Less
Submitted 8 January, 2020;
originally announced January 2020.
-
An extended quantum process algebra (eQPAlg) approach for distributed quantum systems
Authors:
Salman Haider,
Syed Asad Raza Kazmi
Abstract:
In this work, we have expounded the communication procedure of quantum systems by means of process algebra. The main objective of our research effort is to formally represent the communication between distributed quantum systems. In this new proposed communication model we have ameliorated the existing rules of Lalire's quantum process algebra QPAlg. We have brought some important modification in…
▽ More
In this work, we have expounded the communication procedure of quantum systems by means of process algebra. The main objective of our research effort is to formally represent the communication between distributed quantum systems. In this new proposed communication model we have ameliorated the existing rules of Lalire's quantum process algebra QPAlg. We have brought some important modification in QPAlg by introducing the concept of formally specifying the Quantum teleportation protocol. We have further introduced the formal description of protocol by using programs that best explains its working and satisfies the specification. Examples have been provided to describe the working of the improved algebra that formally explain the sending and receiving of both classical as well as quantum data, keeping in mind the principal features of quantum mechanics.
△ Less
Submitted 6 January, 2020;
originally announced January 2020.
-
On Hilfer fractional difference operator
Authors:
Syed Sabyel Haider,
Mujeeb ur Rehman,
Thabet Abdeljawad
Abstract:
In this article, a new definition of fractional Hilfer difference operator is introduced. Definition based properties are developed and utilized to construct fixed point operator for fractional order Hilfer difference equations with initial condition. We acquire some conditions for existence, uniqueness, Ulam-Hyers and Ulam-Hyers-Rassias stability. Modified Gronwall's inequality is presented for d…
▽ More
In this article, a new definition of fractional Hilfer difference operator is introduced. Definition based properties are developed and utilized to construct fixed point operator for fractional order Hilfer difference equations with initial condition. We acquire some conditions for existence, uniqueness, Ulam-Hyers and Ulam-Hyers-Rassias stability. Modified Gronwall's inequality is presented for discrete calculus with the delta difference operator.
△ Less
Submitted 29 January, 2020; v1 submitted 16 November, 2019;
originally announced November 2019.
-
Rydberg-positronium velocity and self-ionization studies in 1T magnetic field and cryogenic environment
Authors:
M. Antonello,
A. Belov,
G. Bonomi R. S. Brusa,
M. Caccia,
A. Camper,
R. Caravita,
F. Castelli,
D. Comparat,
G. Consolati,
L. Di Noto,
M. Doser,
M. Fani,
R. Ferragut,
J. Fesel,
S. Gerber,
A. Gligorova,
L. T. Glöggler,
F. Guatieri,
S. Haider,
A. Hinterberger,
O. Khalidova,
D. Krasnicky,
V. Lagomarsino,
C. Malbrunot,
S. Mariazzi
, et al. (21 additional authors not shown)
Abstract:
We characterized the pulsed Rydberg-positronium production inside the AEgIS (Antimatter Experiment: Gravity, Interferometry, Spectroscopy) apparatus in view of antihydrogen formation by means of a charge exchange reaction between cold antiprotons and slow Rydberg-positronium atoms. Velocity measurements on positronium along two axes in a cryogenic environment (10K) and in 1T magnetic field were pe…
▽ More
We characterized the pulsed Rydberg-positronium production inside the AEgIS (Antimatter Experiment: Gravity, Interferometry, Spectroscopy) apparatus in view of antihydrogen formation by means of a charge exchange reaction between cold antiprotons and slow Rydberg-positronium atoms. Velocity measurements on positronium along two axes in a cryogenic environment (10K) and in 1T magnetic field were performed. The velocimetry was done by MCP-imaging of photoionized positronium previously excited to the $n=3$ state. One direction of velocity was measured via Doppler-scan of this $n=3$-line, another direction perpendicular to the former by delaying the exciting laser pulses in a time-of-flight measurement. Self-ionization in the magnetic field due to motional Stark effect was also quantified by using the same MCP-imaging technique for Rydberg positronium with an effective principal quantum number $n_{eff}$ ranging between 14 and 22. We conclude with a discussion about the optimization of our experimental parameters for creating Rydberg-positronium in preparation for an efficient pulsed production of antihydrogen.
△ Less
Submitted 22 February, 2022; v1 submitted 11 November, 2019;
originally announced November 2019.
-
Efficient $2^3S$ positronium production by stimulated decay from the $3^3P$ level
Authors:
M. Antonello,
A. Belov,
G. Bonomi,
R. S. Brusa,
M. Caccia,
A. Camper,
R. Caravita,
F. Castelli,
G. Cerchiari,
D. Comparat,
G. Consolati,
A. Demetrio,
L. Di Noto,
M. Doser,
M. Fanì,
S. Gerber,
A. Gligorova,
F. Guatieri,
P. Hackstock,
S. Haider,
A. Hinterberger,
A. Kellerbauer,
O. Khalidova,
D. Krasnicky,
V. Lagomarsino
, et al. (26 additional authors not shown)
Abstract:
We investigate experimentally the possibility of enhancing the production of $2^3S$ positronium atoms by driving the $1^3S$-$3^3P$ and $3^3P$-$2^3S$ transitions, overcoming the natural branching ratio limitation of spontaneous decay from $3^3P$ to $2^3S$. The decay of $3^3P$ positronium atoms towards the $2^3S$ level has been effciently stimulated by a 1312.2nm broadband IR laser pulse. The depend…
▽ More
We investigate experimentally the possibility of enhancing the production of $2^3S$ positronium atoms by driving the $1^3S$-$3^3P$ and $3^3P$-$2^3S$ transitions, overcoming the natural branching ratio limitation of spontaneous decay from $3^3P$ to $2^3S$. The decay of $3^3P$ positronium atoms towards the $2^3S$ level has been effciently stimulated by a 1312.2nm broadband IR laser pulse. The dependence of the stimulating transition efficiency on the intensity of the IR pulse has been measured to find the optimal enhancement conditions. A maximum relative increase of $ \times (3.1 \pm 1.0) $ in the $2^3S$ production efficiency, with respect to the case where only spontaneous decay is present, was obtained.
△ Less
Submitted 18 April, 2019;
originally announced April 2019.
-
Catalytic upgrading of hydrothermal liquefaction biocrudes: Different challenges for different feedstocks
Authors:
Daniele Castello,
Muhammad Salman Haider,
Lasse Aistrup Rosendahl
Abstract:
Hydrothermal liquefaction (HTL) followed by catalytic hydrotreating of the produced biocrude is increasingly gaining ground as an effective technology for the conversion of biomass into liquid biofuels. A strong advantage of HTL resides in its great flexibility towards the feedstock, since it is able to treat a large number of different organic substrates, ranging from dry to wet residual biomass.…
▽ More
Hydrothermal liquefaction (HTL) followed by catalytic hydrotreating of the produced biocrude is increasingly gaining ground as an effective technology for the conversion of biomass into liquid biofuels. A strong advantage of HTL resides in its great flexibility towards the feedstock, since it is able to treat a large number of different organic substrates, ranging from dry to wet residual biomass. Nevertheless, the characteristics of biocrudes from different typologies of organic materials result in different challenges to be met during the hydrotreating step, leading to differences in heteroatoms removal and in the typology and composition of the targeted products. In this work, biocrudes were catalytically hydrotreated with a commercial NiMo/Al2O3 catalyst at different temperatures and pressures. Sewage sludge biocrude was found to be very promising for the production of straight-chain hydrocarbons in the diesel range, with considerable heteroatoms removal even at mild hydrotreating conditions. Similar results were shown by algal biocrude, although complete denitrogenation is challenging. Upgraded biocrudes from lignocellulosic feedstock (miscanthus) showed high yields in the gasoline range, with a remarkable content of aromatics. Operating at a higher H2 pressure was found to be crucial to prevent coking and decarboxylation reactions.
△ Less
Submitted 11 April, 2019; v1 submitted 9 April, 2019;
originally announced April 2019.
-
Velocity selected production of $2^3S$ metastable positronium
Authors:
C. Amsler,
M. Antonello,
A. Belov,
G. Bonomi,
R. S. Brusa,
M. Caccia,
A. Camper,
R. Caravita,
F. Castelli,
G. Cerchiari,
D. Comparat,
G. Consolati,
A. Demetrio,
L. Di Noto,
M. Doser,
M. Fanì,
S. Gerber,
A. Gligorova,
F. Guatieri,
P. Hackstock,
S. Haider,
A. Hinterberger,
H. Holmestad,
A. Kellerbauer,
O. Khalidova
, et al. (30 additional authors not shown)
Abstract:
Positronium in the $2^3S$ metastable state exhibits a low electrical polarizability and a long lifetime (1140 ns) making it a promising candidate for interferometry experiments with a neutral matter-antimatter system. In the present work, $2^3S$ positronium is produced - in absence of electric field - via spontaneous radiative decay from the $3^3P$ level populated with a 205nm UV laser pulse. Than…
▽ More
Positronium in the $2^3S$ metastable state exhibits a low electrical polarizability and a long lifetime (1140 ns) making it a promising candidate for interferometry experiments with a neutral matter-antimatter system. In the present work, $2^3S$ positronium is produced - in absence of electric field - via spontaneous radiative decay from the $3^3P$ level populated with a 205nm UV laser pulse. Thanks to the short temporal length of the pulse, 1.5 ns full-width at half maximum, different velocity populations of a positronium cloud emitted from a nanochannelled positron/positronium converter were selected by delaying the excitation pulse with respect to the production instant. $ 2^3S $ positronium atoms with velocity tuned between $ 7 \cdot 10^4 $ m/s and $ 10 \cdot 10^4 $ m/s were thus produced. Depending on the selected velocity, a $2^3S$ production effciency ranging from $\sim 0.8 \%$ to $\sim 1.7%$, with respect to the total amount of emitted positronium, was obtained. The observed results give a branching ratio for the $3^3P$-$2^3S$ spontaneous decay of $(9.7 \pm 2.7) \% $. The present velocity selection technique could allow to produce an almost monochromatic beam of $\sim 1 \cdot 10^3 $ $2^3S$ atoms with a velocity spread $ < 10^4 $ m/s and an angular divergence of $\sim$ 50 mrad.
△ Less
Submitted 18 April, 2019; v1 submitted 6 August, 2018;
originally announced August 2018.
-
Comments on "Defeating HaTCh: Building Malicious IP Cores"
Authors:
Syed Kamran Haider,
Chenglu Jin,
Marten van Dijk
Abstract:
Recently, Haider et al. introduced the first rigorous hardware Trojan detection algorithm called HaTCh. The foundation of HaTCh is a formal framework of hardware Trojan design, which formally characterizes all the hardware Trojans based on its properties. However, Bhardwaj et al. recently published one paper "Defeating HaTCh: Building Malicious IP Cores", which incorrectly claims that their newly…
▽ More
Recently, Haider et al. introduced the first rigorous hardware Trojan detection algorithm called HaTCh. The foundation of HaTCh is a formal framework of hardware Trojan design, which formally characterizes all the hardware Trojans based on its properties. However, Bhardwaj et al. recently published one paper "Defeating HaTCh: Building Malicious IP Cores", which incorrectly claims that their newly designed hardware Trojan can evade the detection by HaTCh. In this paper, we explain why the claim of "defeating HaTCh" is incorrect, and we clarify several common misunderstandings about HaTCh.
△ Less
Submitted 4 October, 2018; v1 submitted 13 April, 2018;
originally announced April 2018.
-
The Transactional Conflict Problem
Authors:
Dan Alistarh,
Syed Kamran Haider,
Raphael Kübler,
Giorgi Nadiradze
Abstract:
The transactional conflict problem arises in transactional systems whenever two or more concurrent transactions clash on a data item.
While the standard solution to such conflicts is to immediately abort one of the transactions, some practical systems consider the alternative of delaying conflict resolution for a short interval, which may allow one of the transactions to commit. The challenge in…
▽ More
The transactional conflict problem arises in transactional systems whenever two or more concurrent transactions clash on a data item.
While the standard solution to such conflicts is to immediately abort one of the transactions, some practical systems consider the alternative of delaying conflict resolution for a short interval, which may allow one of the transactions to commit. The challenge in the transactional conflict problem is to choose the optimal length of this delay interval so as to minimize the overall running time penalty for the conflicting transactions. In this paper, we propose a family of optimal online algorithms for the transactional conflict problem.
Specifically, we consider variants of this problem which arise in different implementations of transactional systems, namely "requestor wins" and "requestor aborts" implementations: in the former, the recipient of a coherence request is aborted, whereas in the latter, it is the requestor which has to abort. Both strategies are implemented by real systems.
We show that the requestor aborts case can be reduced to a classic instance of the ski rental problem, while the requestor wins case leads to a new version of this classical problem, for which we derive optimal deterministic and randomized algorithms.
Moreover, we prove that, under a simplified adversarial model, our algorithms are constant-competitive with the offline optimum in terms of throughput.
We validate our algorithmic results empirically through a hardware simulation of hardware transactional memory (HTM), showing that our algorithms can lead to non-trivial performance improvements for classic concurrent data structures.
△ Less
Submitted 3 April, 2018;
originally announced April 2018.
-
Producing long-lived $2^3\text{S}$ Ps via $3^3\text{P}$ laser excitation in magnetic and electric fields
Authors:
S. Aghion,
C. Amsler,
M. Antonello,
A. Belov,
G. Bonomi,
R. S. Brusa,
M. Caccia,
A. Camper,
R. Caravita,
F. Castelli,
G. Cerchiari,
D. Comparat,
G. Consolati,
A. Demetrio,
L. Di Noto,
M. Doser,
C. Evans,
M. Fani,
R. Ferragut,
J. Fesel,
A. Fontana,
S. Gerber,
M. Giammarchi,
A. Gligorova,
F. Guatieri
, et al. (40 additional authors not shown)
Abstract:
Producing positronium (Ps) in the metastable $2^3\text{S}$ state is of interest for various applications in fundamental physics. We report here about an experiment in which Ps atoms are produced in this long-lived state by spontaneous radiative decay of Ps excited to the $3^3\text{P}$ level manifold. The Ps cloud excitation is obtained with a UV laser pulse in an experimental vacuum chamber in pre…
▽ More
Producing positronium (Ps) in the metastable $2^3\text{S}$ state is of interest for various applications in fundamental physics. We report here about an experiment in which Ps atoms are produced in this long-lived state by spontaneous radiative decay of Ps excited to the $3^3\text{P}$ level manifold. The Ps cloud excitation is obtained with a UV laser pulse in an experimental vacuum chamber in presence of guiding magnetic field of 25 mT and an average electric field of 300 V/cm. The indication of the $2^3\text{S}$ state production is obtained from a novel analysis technique of single-shot positronium annihilation lifetime spectra. Its production efficiency relative to the total amount of formed Ps is evaluated by fitting a simple rate equations model to the experimental data and found to be $ (2.1 \pm 1.3) \, \% $.
△ Less
Submitted 20 February, 2018;
originally announced February 2018.
-
Revisiting Definitional Foundations of Oblivious RAM for Secure Processor Implementations
Authors:
Syed Kamran Haider,
Omer Khan,
Marten van Dijk
Abstract:
Oblivious RAM (ORAM) is a renowned technique to hide the access patterns of an application to an untrusted memory. According to the standard ORAM definition presented by Goldreich and Ostrovsky, two ORAM access sequences must be computationally indistinguishable if the lengths of these sequences are identically distributed. An artifact of this definition is that it does not apply to modern ORAM im…
▽ More
Oblivious RAM (ORAM) is a renowned technique to hide the access patterns of an application to an untrusted memory. According to the standard ORAM definition presented by Goldreich and Ostrovsky, two ORAM access sequences must be computationally indistinguishable if the lengths of these sequences are identically distributed. An artifact of this definition is that it does not apply to modern ORAM implementations adapted in current secure processors technology because of their arbitrary lengths of memory access sequences depending on programs' behaviors (their termination times). As a result, the ORAM definition does not directly apply; the theoretical foundations of ORAM do not clearly argue about the timing and termination channels.
This paper conducts a first rigorous study of the standard Goldreich-Ostrovsky ORAM definition in view of modern practical ORAMs (e.g., Path ORAM) and demonstrates the gap between theoretical foundations and real implementations. A new ORAM formulation which clearly separates out termination channel leakage is proposed. It is shown how this definition implies the standard ORAM definition (for finite length input access sequences) and better fits the modern practical ORAM implementations. The proposed definition relaxes the constraints around the stash size and overflow probability for Path ORAM, and essentially transforms its security argument into a performance consideration problem.
Finally, a `strong' ORAM formulation which clearly includes obfuscation of termination leakage is shown to imply our new ORAM formulation and applies to ORAM for outsourced disk storage. In this strong formulation constraints are not relaxed and the security argument for Path ORAM remains complex as one needs to prove that the stash overflows with negligible probability.
△ Less
Submitted 21 October, 2017; v1 submitted 12 June, 2017;
originally announced June 2017.
-
Connecting the Dots: Privacy Leakage via Write-Access Patterns to the Main Memory
Authors:
Tara Merin John,
Syed Kamran Haider,
Hamza Omar,
Marten van Dijk
Abstract:
Data-dependent access patterns of an application to an untrusted storage system are notorious for leaking sensitive information about the user's data. Previous research has shown how an adversary capable of monitoring both read and write requests issued to the memory can correlate them with the application to learn its sensitive data. However, information leakage through only the write access patt…
▽ More
Data-dependent access patterns of an application to an untrusted storage system are notorious for leaking sensitive information about the user's data. Previous research has shown how an adversary capable of monitoring both read and write requests issued to the memory can correlate them with the application to learn its sensitive data. However, information leakage through only the write access patterns is less obvious and not well studied in the current literature. In this work, we demonstrate an actual attack on power-side-channel resistant Montgomery's ladder based modular exponentiation algorithm commonly used in public key cryptography. We infer the complete 512-bit secret exponent in $\sim3.5$ minutes by virtue of just the write access patterns of the algorithm to the main memory. In order to learn the victim algorithm's write access patterns under realistic settings, we exploit a compromised DMA device to take frequent snapshots of the application's address space, and then run a simple differential analysis on these snapshots to find the write access sequence. The attack has been shown on an Intel Core(TM) i7-4790 3.60GHz processor based system. We further discuss a possible attack on McEliece public-key cryptosystem that also exploits the write-access patterns to learn the secret key.
△ Less
Submitted 17 June, 2017; v1 submitted 13 February, 2017;
originally announced February 2017.
-
Measurement of antiproton annihilation on Cu, Ag and Au with emulsion films
Authors:
S. Aghion,
C. Amsler,
A. Ariga,
T. Ariga,
G. Bonomi,
P. Braunig,
R. S. Brusa,
L. Cabaret,
M. Caccia,
R. Caravita,
F. Castelli,
G. Cerchiari,
D. Comparat,
G. Consolati,
A. Demetrio,
L. Di Noto,
M. Doser,
A. Ereditato,
C. Evans,
R. Ferragut,
J. Fesel,
A. Fontana,
S. Gerber,
M. Giammarchi,
A. Gligorova
, et al. (47 additional authors not shown)
Abstract:
The characteristics of low energy antiproton annihilations on nuclei (e.g. hadronization and product multiplicities) are not well known, and Monte Carlo simulation packages that use different models provide different descriptions of the annihilation events. In this study, we measured the particle multiplicities resulting from antiproton annihilations on nuclei. The results were compared with predi…
▽ More
The characteristics of low energy antiproton annihilations on nuclei (e.g. hadronization and product multiplicities) are not well known, and Monte Carlo simulation packages that use different models provide different descriptions of the annihilation events. In this study, we measured the particle multiplicities resulting from antiproton annihilations on nuclei. The results were compared with predictions obtained using different models in the simulation tools GEANT4 and FLUKA. For this study, we exposed thin targets (Cu, Ag and Au) to a very low energy antiproton beam from CERN's Antiproton Decelerator, exploiting the secondary beamline available in the AEgIS experimental zone. The antiproton annihilation products were detected using emulsion films developed at the Laboratory of High Energy Physics in Bern, where they were analysed at the automatic microscope facility. The fragment multiplicity measured in this study is in good agreement with results obtained with FLUKA simulations for both minimally and heavily ionizing particles.
△ Less
Submitted 23 April, 2017; v1 submitted 23 January, 2017;
originally announced January 2017.
-
Folding of guanine quadruplex molecules -- funnel-like mechanism or kinetic partitioning? An overview from MD simulation studies
Authors:
Jiří Šponer,
Giovanni Bussi,
Petr Stadlbauer,
Petra Kührová,
Pavel Banáš,
Barira Islam,
Shozeb Haider,
Stephen Neidle,
Michal Otyepka
Abstract:
Background: Guanine quadruplexes (GQs) play vital roles in many cellular processes and are of much interest as drug targets. In contrast to the availability of many structural studies, there is still limited knowledge on GQ folding.
Scope of review: We review recent molecular dynamics (MD) simulation studies of the folding of GQs, with an emphasis paid to the human telomeric DNA GQ. We explain t…
▽ More
Background: Guanine quadruplexes (GQs) play vital roles in many cellular processes and are of much interest as drug targets. In contrast to the availability of many structural studies, there is still limited knowledge on GQ folding.
Scope of review: We review recent molecular dynamics (MD) simulation studies of the folding of GQs, with an emphasis paid to the human telomeric DNA GQ. We explain the basic principles and limitations of all types of MD methods used to study unfolding and folding in a way accessible to non-specialists. We discuss the potential role of G-hairpin, G-triplex and alternative GQ intermediates in the folding process. We argue that, in general, folding of GQs is fundamentally different from funneled folding of small fast-folding proteins, and can be best described by a kinetic partitioning (KP) mechanism. KP is a competition between at least two (but often many) well-separated and structurally different conformational ensembles.
Major conclusions: The KP mechanism is the only plausible way to explain experiments reporting long time-scales of GQ folding and the existence of long-lived sub-states. A significant part of the natural partitioning of the free energy landscape of GQs comes from the ability of the GQ-forming sequences to populate a large number of syn-anti patterns in their G-tracts. The extreme complexity of the KP of GQs typically prevents an appropriate description of the folding landscape using just a few order parameters or collective variables.
General significance: We reconcile available computational and experimental studies of GQ folding and formulate basic principles characterizing GQ folding landscapes
△ Less
Submitted 18 December, 2016;
originally announced December 2016.
-
Flat ORAM: A Simplified Write-Only Oblivious RAM Construction for Secure Processors
Authors:
Syed Kamran Haider,
Marten van Dijk
Abstract:
Oblivious RAM (ORAM) is a cryptographic primitive which obfuscates the access patterns to a storage thereby preventing privacy leakage. So far in the current literature, only `fully functional' ORAMs are widely studied which can protect, at a cost of considerable performance penalty, against the strong adversaries who can monitor all read and write operations. However, recent research has shown th…
▽ More
Oblivious RAM (ORAM) is a cryptographic primitive which obfuscates the access patterns to a storage thereby preventing privacy leakage. So far in the current literature, only `fully functional' ORAMs are widely studied which can protect, at a cost of considerable performance penalty, against the strong adversaries who can monitor all read and write operations. However, recent research has shown that information can still be leaked even if only the write access pattern (not reads) is visible to the adversary. For such weaker adversaries, a fully functional ORAM turns out to be an overkill causing unnecessary overheads. Instead, a simple `write-only' ORAM is sufficient, and, more interestingly, is preferred as it can offer far more performance and energy efficiency than a fully functional ORAM.
In this work, we present Flat ORAM: an efficient write-only ORAM scheme which outperforms the closest existing write-only ORAM called HIVE. HIVE suffers from performance bottlenecks while managing the memory occupancy information vital for correctness of the protocol. Flat ORAM resolves these bottlenecks by introducing a simple idea of Occupancy Map (OccMap) which efficiently manages the memory occupancy information resulting in far better performance. Our simulation results show that, on average, Flat ORAM only incurs a moderate slowdown of $3\times$ over the insecure DRAM for memory intensive benchmarks among Splash2 and $1.6\times$ for SPEC06. Compared to HIVE, Flat ORAM offers $50\%$ performance gain on average and up to $80\%$ energy savings.
△ Less
Submitted 10 September, 2017; v1 submitted 4 November, 2016;
originally announced November 2016.
-
Advancing the State-of-the-Art in Hardware Trojans Design
Authors:
Syed Kamran Haider,
Chenglu Jin,
Marten van Dijk
Abstract:
Electronic Design Automation (EDA) industry heavily reuses third party IP cores. These IP cores are vulnerable to insertion of Hardware Trojans (HTs) at design time by third party IP core providers or by malicious insiders in the design team. State of the art research has shown that existing HT detection techniques, which claim to detect all publicly available HT benchmarks, can still be defeated…
▽ More
Electronic Design Automation (EDA) industry heavily reuses third party IP cores. These IP cores are vulnerable to insertion of Hardware Trojans (HTs) at design time by third party IP core providers or by malicious insiders in the design team. State of the art research has shown that existing HT detection techniques, which claim to detect all publicly available HT benchmarks, can still be defeated by carefully designing new sophisticated HTs. The reason being that these techniques consider the HT landscape to be limited only to the publicly known HT benchmarks, or other similar (simple) HTs. However the adversary is not limited to these HTs and may devise new HT design principles to bypass these countermeasures.
In this paper, we discover certain crucial properties of HTs which lead to the definition of an exponentially large class of Deterministic Hardware Trojans $H_D$ that an adversary can (but is not limited to) design. The discovered properties serve as HT design principles, based on which we design a new HT called 'XOR-LFSR' and present it as a 'proof-of-concept' example from the class $H_D$. These design principles help us understand the tremendous ways an adversary has to design a HT, and show that the existing publicly known HT benchmarks are just the tip of the iceberg on this huge landscape. This work, therefore, stresses that instead of guaranteeing a certain (low) false negative rate for a small constant set of publicly known HTs, a rigorous HT detection tool should take into account these newly discovered HT design principles and hence guarantee the detection of an exponentially large class (exponential in number of wires in IP core) of HTs with negligible false negative rate.
△ Less
Submitted 12 April, 2017; v1 submitted 26 May, 2016;
originally announced May 2016.
-
When Agile Is Not Good Enough: an initial attempt at understanding how to make the right decision
Authors:
Vito Veneziano,
Austen W. Rainer,
Sheraz Haider
Abstract:
Particularly over the last ten years, Agile has attracted not only the praises of a broad range of enthusiast software developers, but also the criticism of others. Either way, adoption or rejection of Agile seems sometimes to be based more on a questionable understanding than on a critical, well-informed decision making process. In this paper, the dual nature of the above criticism is discussed,…
▽ More
Particularly over the last ten years, Agile has attracted not only the praises of a broad range of enthusiast software developers, but also the criticism of others. Either way, adoption or rejection of Agile seems sometimes to be based more on a questionable understanding than on a critical, well-informed decision making process. In this paper, the dual nature of the above criticism is discussed, and the arguments against Agile have been classified within a critical taxonomy of risk factors. A decisional model and tool based on such taxonomy are consequently proposed for supporting software engineers and other stakeholders in the decision-making about whether or not to use Agile. The tool, which is freely available online, comes with a set of guidelines: its purpose is to facilitate the community of software developers to contribute to further assessing the potential and the criticalities of Agile Methods.
△ Less
Submitted 2 July, 2014; v1 submitted 22 February, 2014;
originally announced February 2014.
-
Annihilation of low energy antiprotons in silicon
Authors:
S. Aghion,
O. Ahlén,
A. S. Belov,
G. Bonomi,
P. Bräunig,
J. Bremer,
R. S. Brusa,
G. Burghart,
L. Cabaret,
M. Caccia,
C. Canali,
R. Caravita,
F. Castelli,
G. Cerchiari,
S. Cialdi,
D. Comparat,
G. Consolati,
J. H. Derking,
S. Di Domizio,
L. Di Noto,
M. Doser,
A. Dudarev,
R. Ferragut,
A. Fontana,
P. Genova
, et al. (34 additional authors not shown)
Abstract:
The goal of the AE$\mathrm{\bar{g}}$IS experiment at the Antiproton Decelerator (AD) at CERN, is to measure directly the Earth's gravitational acceleration on antimatter. To achieve this goal, the AE$\mathrm{\bar{g}}$IS collaboration will produce a pulsed, cold (100 mK) antihydrogen beam with a velocity of a few 100 m/s and measure the magnitude of the vertical deflection of the beam from a straig…
▽ More
The goal of the AE$\mathrm{\bar{g}}$IS experiment at the Antiproton Decelerator (AD) at CERN, is to measure directly the Earth's gravitational acceleration on antimatter. To achieve this goal, the AE$\mathrm{\bar{g}}$IS collaboration will produce a pulsed, cold (100 mK) antihydrogen beam with a velocity of a few 100 m/s and measure the magnitude of the vertical deflection of the beam from a straight path. The final position of the falling antihydrogen will be detected by a position sensitive detector. This detector will consist of an active silicon part, where the annihilations take place, followed by an emulsion part. Together, they allow to achieve 1$%$ precision on the measurement of $\bar{g}$ with about 600 reconstructed and time tagged annihilations.
We present here, to the best of our knowledge, the first direct measurement of antiproton annihilation in a segmented silicon sensor, the first step towards designing a position sensitive silicon detector for the AE$\mathrm{\bar{g}}$IS experiment. We also present a first comparison with Monte Carlo simulations (GEANT4) for antiproton energies below 5 MeV
△ Less
Submitted 11 March, 2014; v1 submitted 20 November, 2013;
originally announced November 2013.
-
Prospects for measuring the gravitational free-fall of antihydrogen with emulsion detectors
Authors:
AEgIS Collaboration,
S. Aghion,
O. Ahlén,
C. Amsler,
A. Ariga,
T. Ariga,
A. S. Belov,
G. Bonomi,
P. Bräunig,
J. Bremer,
R. S. Brusa,
L. Cabaret,
C. Canali,
R. Caravita,
F. Castelli,
G. Cerchiari,
S. Cialdi,
D. Comparat,
G. Consolati,
J. H. Derking,
S. Di Domizio,
L. Di Noto,
M. Doser,
A. Dudarev,
A. Ereditato
, et al. (46 additional authors not shown)
Abstract:
The main goal of the AEgIS experiment at CERN is to test the weak equivalence principle for antimatter. AEgIS will measure the free-fall of an antihydrogen beam traversing a moiré deflectometer. The goal is to determine the gravitational acceleration g for antihydrogen with an initial relative accuracy of 1% by using an emulsion detector combined with a silicon micro-strip detector to measure the…
▽ More
The main goal of the AEgIS experiment at CERN is to test the weak equivalence principle for antimatter. AEgIS will measure the free-fall of an antihydrogen beam traversing a moiré deflectometer. The goal is to determine the gravitational acceleration g for antihydrogen with an initial relative accuracy of 1% by using an emulsion detector combined with a silicon micro-strip detector to measure the time of flight. Nuclear emulsions can measure the annihilation vertex of antihydrogen atoms with a precision of about 1 - 2 microns r.m.s. We present here results for emulsion detectors operated in vacuum using low energy antiprotons from the CERN antiproton decelerator. We compare with Monte Carlo simulations, and discuss the impact on the AEgIS project.
△ Less
Submitted 24 June, 2013;
originally announced June 2013.
-
Investigating the performance of Correspondence Algorithms in Vision based Driver-assistance in Indoor Environment
Authors:
F. Mahmood,
Syed. M. B. Haider,
F. Kunwar
Abstract:
This paper presents the experimental comparison of fourteen stereo matching algorithms in variant illumination conditions. Different adaptations of global and local stereo matching techniques are chosen for evaluation The variant strength and weakness of the chosen correspondence algorithms are explored by employing the methodology of the prediction error strategy. The algorithms are gauged on the…
▽ More
This paper presents the experimental comparison of fourteen stereo matching algorithms in variant illumination conditions. Different adaptations of global and local stereo matching techniques are chosen for evaluation The variant strength and weakness of the chosen correspondence algorithms are explored by employing the methodology of the prediction error strategy. The algorithms are gauged on the basis of their performance on real world data set taken in various indoor lighting conditions and at different times of the day
△ Less
Submitted 3 January, 2013;
originally announced January 2013.
-
LNOS - Live Network Operating System
Authors:
Sajjad Haider,
Mehboob Yasin,
Naveed Hussain,
Muhammad Imran
Abstract:
Operating Systems exists since existence of computers, and have been evolving continuously from time to time. In this paper we have reviewed a relatively new or unexplored topic of Live OS. From networking perspective, Live OS is used for establishing Clusters, Firewalls and as Network security assessment tool etc. Our proposed concept is that a Live OS can be established or configured for an orga…
▽ More
Operating Systems exists since existence of computers, and have been evolving continuously from time to time. In this paper we have reviewed a relatively new or unexplored topic of Live OS. From networking perspective, Live OS is used for establishing Clusters, Firewalls and as Network security assessment tool etc. Our proposed concept is that a Live OS can be established or configured for an organizations specific network requirements with respect to their servers. An important server failure due to hardware or software could take time for remedy of the problem, so for that situation a preconfigured server in the form of Live OS on CD/DVD/USB can be used as an immediate solution. In a network of ten nodes, we stopped the server machine and with necessary adjustments, Live OS replaced the server in less than five minutes. Live OS in a network environment is a quick replacement of the services that are failed due to server failure (hardware or software). It is a cost effective solution for low budget networks. The life of Live OS starts when we boot it from CD/DVD/USB and remains in action for that session. As soon as the machine is rebooted, any work done for that session is gone, (in case we do not store any information on permanent storage media). Live CD/DVD/USB is normally used on systems where we do not have Operating Systems installed. A Live OS can also be used on systems where we already have an installed OS. On the basis of functionality a Live OS can be used for many purposes and has some typical advantages that are not available on other operating systems. Vendors are releasing different distributions of Live OS and is becoming their sole identity in a particular domain like Networks, Security, Education or Entertainment etc. There can be many aspects of Live OS, but Linux based Live OS and their use in the field of networks is the main focus of this paper.
△ Less
Submitted 27 December, 2012;
originally announced December 2012.
-
Streamlined Calibrations of the ATLAS Precision Muon Chambers for Initial LHC Running
Authors:
N. Amram,
R. Ball,
Y. Benhammou,
M. Ben Moshe,
T. Dai,
E. B. Diehl,
J. Dubbert,
E. Etzion,
C. Ferretti,
J. Gregory,
S. Haider,
J. Hindes,
D. S. Levin,
R. Thun,
A. Wilson,
C. Weaverdyck,
Y. Wu,
H. Yang,
B. Zhou,
S. Zimmermann
Abstract:
The ATLAS Muon Spectrometer is designed to measure the momentum of muons with a resolution of dp/p = 3% and 10% at 100 GeV and 1 TeV momentum respectively. For this task, the spectrometer employs 355,000 Monitored Drift Tubes (MDTs) arrayed in 1200 Chambers. Calibration (RT) functions convert drift time measurements into tube-centered impact parameters for track segment reconstruction. RT function…
▽ More
The ATLAS Muon Spectrometer is designed to measure the momentum of muons with a resolution of dp/p = 3% and 10% at 100 GeV and 1 TeV momentum respectively. For this task, the spectrometer employs 355,000 Monitored Drift Tubes (MDTs) arrayed in 1200 Chambers. Calibration (RT) functions convert drift time measurements into tube-centered impact parameters for track segment reconstruction. RT functions depend on MDT environmental parameters and so must be appropriately calibrated for local chamber conditions. We report on the creation and application of a gas monitor system based calibration program for muon track reconstruction in the LHC startup phase.
△ Less
Submitted 7 March, 2011; v1 submitted 3 March, 2011;
originally announced March 2011.
-
Radial Distribution of Production Rates, Loss Rates and Densities Corresponding to Ion Masses <=40 amu in the Inner Coma of Comet Halley: Composition and Chemistry
Authors:
S. A. Haider,
Anil Bhardwaj
Abstract:
In this paper we have studied the chemistry of C, H, N, O, and S compounds corresponding to ions of masses <=40 amu in the inner coma of the comet 1P/Halley. The production rates, loss rates, and ion mass densities are calculated using the Analytical Yield Spectrum approach and solving coupled continuity equation controlled by the steady state photochemical equilibrium condition. The primary ion…
▽ More
In this paper we have studied the chemistry of C, H, N, O, and S compounds corresponding to ions of masses <=40 amu in the inner coma of the comet 1P/Halley. The production rates, loss rates, and ion mass densities are calculated using the Analytical Yield Spectrum approach and solving coupled continuity equation controlled by the steady state photochemical equilibrium condition. The primary ionization sources in the model are solar EUV photons, photoelectrons, and auroral electrons of the solar wind origin. The chemical model couples ion-neutral, electron-neutral, photon-neutral and electron-ion reactions among ions, neutrals, electrons, and photons through over 600 chemical reactions. Of the 46 ions considered in the model the chemistry of 24 important ions are discussed in this paper. The calculated ion mass densities are compared with the Giotto Ion Mass Spectrometer (IMS) and Neutral Mass Spectrometer (NMS) data at radial distances 1500, 3500, and 6000 km.
△ Less
Submitted 29 April, 2005;
originally announced April 2005.
-
Cylindrical versus Spherical Resonant Antennas for Gravitational Wave Detection
Authors:
S. Alam,
S. Haider,
Aurangzeb
Abstract:
The principles and detection of gravitational waves by resonant antennas are briefly discussed. But the main purpose of this short note is to compare the two geometries of resonant antennas, the well-known cylindrical to the spherical type. Some features of a two sphere observatory are also discussed.
The principles and detection of gravitational waves by resonant antennas are briefly discussed. But the main purpose of this short note is to compare the two geometries of resonant antennas, the well-known cylindrical to the spherical type. Some features of a two sphere observatory are also discussed.
△ Less
Submitted 7 February, 1997;
originally announced February 1997.