-
Cycles and Cuts in Supersingular L-Isogeny Graphs
Authors:
Sarah Arpin,
Ross Bowden,
James Clements,
Wissam Ghantous,
Jason T. LeGrow,
Krystal Maughan
Abstract:
Supersingular elliptic curve isogeny graphs underlie isogeny-based cryptography. For isogenies of a single prime degree $\ell$, their structure has been investigated graph-theoretically. We generalise the notion of $\ell$-isogeny graphs to $L$-isogeny graphs (studied in the prime field case by Delfs and Galbraith), where $L$ is a set of small primes dictating the allowed isogeny degrees in the gra…
▽ More
Supersingular elliptic curve isogeny graphs underlie isogeny-based cryptography. For isogenies of a single prime degree $\ell$, their structure has been investigated graph-theoretically. We generalise the notion of $\ell$-isogeny graphs to $L$-isogeny graphs (studied in the prime field case by Delfs and Galbraith), where $L$ is a set of small primes dictating the allowed isogeny degrees in the graph. We analyse the graph-theoretic structure of $L$-isogeny graphs. Our approaches may be put into two categories: cycles and graph cuts.
On the topic of cycles, we provide: a count for the number of non-backtracking cycles in the $L$-isogeny graph using traces of Brandt matrices; an efficiently computable estimate based on this approach; and a third ideal-theoretic count for a certain subclass of $L$-isogeny cycles. We provide code to compute each of these three counts.
On the topic of graph cuts, we compare several algorithms to compute graph cuts which minimise a measure called the \textit{edge expansion}, outlining a cryptographic motivation for doing so. Our results show that a \emph{greedy neighbour} algorithm out-performs standard spectral algorithms for computing optimal graph cuts. We provide code and study explicit examples.
Furthermore, we describe several directions of active and future research.
△ Less
Submitted 1 February, 2025;
originally announced February 2025.
-
Adaptive Sensitivity Analysis for Robust Augmentation against Natural Corruptions in Image Segmentation
Authors:
Laura Zheng,
Wenjie Wei,
Tony Wu,
Jacob Clements,
Shreelekha Revankar,
Andre Harrison,
Yu Shen,
Ming C. Lin
Abstract:
Achieving robustness in image segmentation models is challenging due to the fine-grained nature of pixel-level classification. These models, which are crucial for many real-time perception applications, particularly struggle when faced with natural corruptions in the wild for autonomous systems. While sensitivity analysis can help us understand how input variables influence model outputs, its appl…
▽ More
Achieving robustness in image segmentation models is challenging due to the fine-grained nature of pixel-level classification. These models, which are crucial for many real-time perception applications, particularly struggle when faced with natural corruptions in the wild for autonomous systems. While sensitivity analysis can help us understand how input variables influence model outputs, its application to natural and uncontrollable corruptions in training data is computationally expensive. In this work, we present an adaptive, sensitivity-guided augmentation method to enhance robustness against natural corruptions. Our sensitivity analysis on average runs 10x faster and requires about 200x less storage than previous sensitivity analysis, enabling practical, on-the-fly estimation during training for a model-free augmentation policy. With minimal fine-tuning, our sensitivity-guided augmentation method achieves improved robustness on both real-world and synthetic datasets compared to state-of-the-art data augmentation techniques in image segmentation. Code implementation for this work can be found at: https://github.com/laurayuzheng/SensAug.
△ Less
Submitted 16 June, 2025; v1 submitted 3 June, 2024;
originally announced June 2024.
-
Finding Orientations of Supersingular Elliptic Curves and Quaternion Orders
Authors:
Sarah Arpin,
James Clements,
Pierrick Dartois,
Jonathan Komada Eriksen,
Péter Kutas,
Benjamin Wesolowski
Abstract:
Orientations of supersingular elliptic curves encode the information of an endomorphism of the curve. Computing the full endomorphism ring is a known hard problem, so one might consider how hard it is to find one such orientation. We prove that access to an oracle which tells if an elliptic curve is $\mathfrak{O}$-orientable for a fixed imaginary quadratic order $\mathfrak{O}$ provides non-trivial…
▽ More
Orientations of supersingular elliptic curves encode the information of an endomorphism of the curve. Computing the full endomorphism ring is a known hard problem, so one might consider how hard it is to find one such orientation. We prove that access to an oracle which tells if an elliptic curve is $\mathfrak{O}$-orientable for a fixed imaginary quadratic order $\mathfrak{O}$ provides non-trivial information towards computing an endomorphism corresponding to the $\mathfrak{O}$-orientation. We provide explicit algorithms and in-depth complexity analysis.
We also consider the question in terms of quaternion algebras. We provide algorithms which compute an embedding of a fixed imaginary quadratic order into a maximal order of the quaternion algebra ramified at $p$ and $\infty$. We provide code implementations in Sagemath which is efficient for finding embeddings of imaginary quadratic orders of discriminants up to $O(p)$, even for cryptographically sized $p$.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
Agent-based modelling of sports riots
Authors:
Alastair J. Clements,
Nabil T. Fadai
Abstract:
Riots originating during, or in the aftermath of, sports events can incur significant costs in damages, as well as large-scale panic and injuries. A mathematical description of sports riots is therefore sought to better understand their propagation and limit these physical and financial damages. In this work, we present an agent-based modelling framework that describes the qualitative features of…
▽ More
Riots originating during, or in the aftermath of, sports events can incur significant costs in damages, as well as large-scale panic and injuries. A mathematical description of sports riots is therefore sought to better understand their propagation and limit these physical and financial damages. In this work, we present an agent-based modelling framework that describes the qualitative features of populations engaging in riotous behaviour. Agents, pertaining to either a 'rioter' or a 'bystander' sub-population, move on an underlying lattice and can either be recruited or defect from their respective subpopulation. In particular, we allow these individual-level recruitment and defection processes to vary with local population density. This agent-based modelling framework provides the unifying link between multi-population stochastic models and density-dependent reaction processes. Furthermore, the continuum description of this ABM framework is shown to be a system of nonlinear reaction-diffusion equations and faithfully agrees with the average ABM behaviour from individual simulations. Finally, we determine the unique correspondence between the underlying individual-level recruitment and defection mechanisms with their population-level counterparts, providing a link between local-scale effects and macroscale rioting phenomena.
△ Less
Submitted 13 October, 2021;
originally announced November 2021.
-
Sequential Deep Learning for Credit Risk Monitoring with Tabular Financial Data
Authors:
Jillian M. Clements,
Di Xu,
Nooshin Yousefi,
Dmitry Efimov
Abstract:
Machine learning plays an essential role in preventing financial losses in the banking industry. Perhaps the most pertinent prediction task that can result in billions of dollars in losses each year is the assessment of credit risk (i.e., the risk of default on debt). Today, much of the gains from machine learning to predict credit risk are driven by gradient boosted decision tree models. However,…
▽ More
Machine learning plays an essential role in preventing financial losses in the banking industry. Perhaps the most pertinent prediction task that can result in billions of dollars in losses each year is the assessment of credit risk (i.e., the risk of default on debt). Today, much of the gains from machine learning to predict credit risk are driven by gradient boosted decision tree models. However, these gains begin to plateau without the addition of expensive new data sources or highly engineered features. In this paper, we present our attempts to create a novel approach to assessing credit risk using deep learning that does not rely on new model inputs. We propose a new credit card transaction sampling technique to use with deep recurrent and causal convolution-based neural networks that exploits long historical sequences of financial data without costly resource requirements. We show that our sequential deep learning approach using a temporal convolutional network outperformed the benchmark non-sequential tree-based model, achieving significant financial savings and earlier detection of credit risk. We also demonstrate the potential for our approach to be used in a production environment, where our sampling technique allows for sequences to be stored efficiently in memory and used for fast online learning and inference.
△ Less
Submitted 30 December, 2020;
originally announced December 2020.
-
Dynamics of large scale networks following a merger
Authors:
John Clements,
Babak Farzad,
Henryk Fukś
Abstract:
We study the dynamic network of relationships among avatars in the massively multiplayer online game Planetside 2. In the spring of 2014, two separate servers of this game were merged, and as a result, two previously distinct networks were combined into one. We observed the evolution of this network in the seven month period following the merger and report our observations. We found that some stru…
▽ More
We study the dynamic network of relationships among avatars in the massively multiplayer online game Planetside 2. In the spring of 2014, two separate servers of this game were merged, and as a result, two previously distinct networks were combined into one. We observed the evolution of this network in the seven month period following the merger and report our observations. We found that some structures of original networks persist in the combined network for a long time after the merger. As the original avatars are gradually removed, these structures slowly dissolve, but they remain observable for a surprisingly long time. We present a number of visualizations illustrating the post-merger dynamics and discuss time evolution of selected quantities characterizing the topology of the network.
△ Less
Submitted 21 February, 2020;
originally announced February 2020.
-
Rallying Adversarial Techniques against Deep Learning for Network Security
Authors:
Joseph Clements,
Yuzhe Yang,
Ankur Sharma,
Hongxin Hu,
Yingjie Lao
Abstract:
Recent advances in artificial intelligence and the increasing need for powerful defensive measures in the domain of network security, have led to the adoption of deep learning approaches for use in network intrusion detection systems. These methods have achieved superior performance against conventional network attacks, which enable the deployment of practical security systems to unique and dynami…
▽ More
Recent advances in artificial intelligence and the increasing need for powerful defensive measures in the domain of network security, have led to the adoption of deep learning approaches for use in network intrusion detection systems. These methods have achieved superior performance against conventional network attacks, which enable the deployment of practical security systems to unique and dynamic sectors. Adversarial machine learning, unfortunately, has recently shown that deep learning models are inherently vulnerable to adversarial modifications on their input data. Because of this susceptibility, the deep learning models deployed to power a network defense could in fact be the weakest entry point for compromising a network system. In this paper, we show that by modifying on average as little as 1.38 of the input features, an adversary can generate malicious inputs which effectively fool a deep learning based NIDS. Therefore, when designing such systems, it is crucial to consider the performance from not only the conventional network security perspective but also the adversarial machine learning domain.
△ Less
Submitted 24 October, 2021; v1 submitted 27 March, 2019;
originally announced March 2019.
-
Optimal Sabotage Attack on Composite Material Parts
Authors:
Bikash Ranabhat,
Joseph Clements,
Jacob Gatlin,
Kuang-Ting Hsiao,
Mark Yampolskiy
Abstract:
Industry 4.0 envisions a fully automated manufacturing environment, in which computerized manufacturing equipment--Cyber-Physical Systems (CPS)--performs all tasks. These machines are open to a variety of cyber and cyber-physical attacks, including sabotage. In the manufacturing context, sabotage attacks aim to damage equipment or degrade a manufactured part's mechanical properties. In this paper,…
▽ More
Industry 4.0 envisions a fully automated manufacturing environment, in which computerized manufacturing equipment--Cyber-Physical Systems (CPS)--performs all tasks. These machines are open to a variety of cyber and cyber-physical attacks, including sabotage. In the manufacturing context, sabotage attacks aim to damage equipment or degrade a manufactured part's mechanical properties. In this paper, we focus on the latter, specifically for composite materials. Composite material parts are predominantly used in safety-critical systems, e.g., as load-bearing parts of aircraft. Further, we distinguish between the methods to compromise various manufacturing equipment, and the malicious manipulations that will sabotage a part. As the research literature has numerous examples of the former, in this paper we assume that the equipment is already compromised, our discussion is solely on manipulations.
We develop a simulation approach to designing sabotage attacks against composite material parts. The attack can be optimized by two criteria, minimizing the "footprint" of manipulations. We simulate two optimal attacks against the design of a spar, a load bearing component of an airplane wing. Our simulation identifies the minimal manipulations needed to degrade its strength to three desired levels, as well as the resulting failure characteristics. Last but not least, we outline an approach to identifying sabotaged parts.
△ Less
Submitted 6 October, 2018;
originally announced October 2018.
-
Hardware Trojan Attacks on Neural Networks
Authors:
Joseph Clements,
Yingjie Lao
Abstract:
With the rising popularity of machine learning and the ever increasing demand for computational power, there is a growing need for hardware optimized implementations of neural networks and other machine learning models. As the technology evolves, it is also plausible that machine learning or artificial intelligence will soon become consumer electronic products and military equipment, in the form o…
▽ More
With the rising popularity of machine learning and the ever increasing demand for computational power, there is a growing need for hardware optimized implementations of neural networks and other machine learning models. As the technology evolves, it is also plausible that machine learning or artificial intelligence will soon become consumer electronic products and military equipment, in the form of well-trained models. Unfortunately, the modern fabless business model of manufacturing hardware, while economic, leads to deficiencies in security through the supply chain. In this paper, we illuminate these security issues by introducing hardware Trojan attacks on neural networks, expanding the current taxonomy of neural network security to incorporate attacks of this nature. To aid in this, we develop a novel framework for inserting malicious hardware Trojans in the implementation of a neural network classifier. We evaluate the capabilities of the adversary in this setting by implementing the attack algorithm on convolutional neural networks while controlling a variety of parameters available to the adversary. Our experimental results show that the proposed algorithm could effectively classify a selected input trigger as a specified class on the MNIST dataset by injecting hardware Trojans into $0.03\%$, on average, of neurons in the 5th hidden layer of arbitrary 7-layer convolutional neural networks, while undetectable under the test data. Finally, we discuss the potential defenses to protect neural networks against hardware Trojan attacks.
△ Less
Submitted 14 June, 2018;
originally announced June 2018.
-
Generating 56-bit passwords using Markov Models (and Charles Dickens)
Authors:
John Clements
Abstract:
We describe a password generation scheme based on Markov models built from English text (specifically, Charles Dickens' *A Tale Of Two Cities*). We show a (linear-running-time) bijection between random bitstrings of any desired length and generated text, ensuring that all passwords are generated with equal probability. We observe that the generated passwords appear to strike a reasonable balance b…
▽ More
We describe a password generation scheme based on Markov models built from English text (specifically, Charles Dickens' *A Tale Of Two Cities*). We show a (linear-running-time) bijection between random bitstrings of any desired length and generated text, ensuring that all passwords are generated with equal probability. We observe that the generated passwords appear to strike a reasonable balance between memorability and security. Using the system, we get 56-bit passwords like 'The cusay is wither?" t', rather than passwords like 'tQ$%Xc4Ef'.
△ Less
Submitted 26 February, 2015;
originally announced February 2015.
-
Foldscope: Origami-based paper microscope
Authors:
James Cybulski,
James Clements,
Manu Prakash
Abstract:
Here we describe an ultra-low-cost origami-based approach for large-scale manufacturing of microscopes, specifically demonstrating brightfield, darkfield, and fluorescence microscopes. Merging principles of optical design with origami enables high-volume fabrication of microscopes from 2D media. Flexure mechanisms created via folding enable a flat compact design. Structural loops in folded paper p…
▽ More
Here we describe an ultra-low-cost origami-based approach for large-scale manufacturing of microscopes, specifically demonstrating brightfield, darkfield, and fluorescence microscopes. Merging principles of optical design with origami enables high-volume fabrication of microscopes from 2D media. Flexure mechanisms created via folding enable a flat compact design. Structural loops in folded paper provide kinematic constraints as a means for passive self-alignment. This light, rugged instrument can survive harsh field conditions while providing a diversity of imaging capabilities, thus serving wide-ranging applications for cost-effective, portable microscopes in science and education.
△ Less
Submitted 5 March, 2014;
originally announced March 2014.
-
Stepping Lazy Programs
Authors:
Stephen Chang,
John Clements,
Eli Barzilay,
Matthias Felleisen
Abstract:
Debugging lazy functional programs poses serious challenges. In support of the "stop, examine, and resume" debugging style of imperative languages, some debugging tools abandon lazy evaluation. Other debuggers preserve laziness but present it in a way that may confuse programmers because the focus of evaluation jumps around in a seemingly random manner.
In this paper, we introduce a supplemental…
▽ More
Debugging lazy functional programs poses serious challenges. In support of the "stop, examine, and resume" debugging style of imperative languages, some debugging tools abandon lazy evaluation. Other debuggers preserve laziness but present it in a way that may confuse programmers because the focus of evaluation jumps around in a seemingly random manner.
In this paper, we introduce a supplemental tool, the algebraic program stepper. An algebraic stepper shows computation as a mathematical calculation. Algebraic stepping could be particularly useful for novice programmers or programmers new to lazy programming. Mathematically speaking, an algebraic stepper renders computation as the standard rewriting sequence of a lazy lambda-calculus. Our novel lazy semantics introduces lazy evaluation as a form of parallel program rewriting. It represents a compromise between Launchbury's store-based semantics and a simple, axiomatic description of lazy computation as sharing-via-parameters. Finally, we prove that the stepper's run-time machinery correctly reconstructs the standard rewriting sequence.
△ Less
Submitted 23 August, 2011;
originally announced August 2011.
-
Supersymmetry and Phenomenology of Heterotic and Type I Superstring Models
Authors:
D. J. Clements
Abstract:
This thesis is the discussion of heterotic and type I string phenomenology. The heterotic string model is based on the free--fermionic formalism. This is the first case where non--Abelian VEV's, as opposed to singlet VEV's are required for the cancellation of the Fayet--Iliopoulos term. It is noted that non--Abelian fields are the only fields that can give rise to the satisfaction of the D--flat…
▽ More
This thesis is the discussion of heterotic and type I string phenomenology. The heterotic string model is based on the free--fermionic formalism. This is the first case where non--Abelian VEV's, as opposed to singlet VEV's are required for the cancellation of the Fayet--Iliopoulos term. It is noted that non--Abelian fields are the only fields that can give rise to the satisfaction of the D--flat constraints in this model.
The type I models are based on T^6/Z_2x(Z_2)^s and T^6/Z_2xZ_2x(Z_2)^s compactifications. The first example has N=2 supersymmetry and includes a rank reduction of the D5 gauge groups as a result of using a freely acting Kaluza Klein shift Z_2^s. The second case is an N=1 model. One has a choice of sign epsilon=+/-1 from terms not related to the principle orbits by S and T transformations. This allows the breaking of supersymmetry with the introduction of antibranes. For epsilon=-1 there is a problem with respect to particle interpretation.
I magnetize the T^6/Z_2xZ_2 model for the epsilon=-1 case. This leads to tadpole complications for the g and f twisted sectors, but allows the h twisted sector to behave normally.
△ Less
Submitted 12 July, 2004;
originally announced July 2004.
-
Open Descendants of NAHE-based free fermionic and Type I Z2^n models
Authors:
David J. Clements,
Alon E. Faraggi
Abstract:
The NAHE-set, that underlies the realistic free fermionic models, corresponds to Z2XZ2 orbifold at an enhanced symmetry point, with (h_{11},h_{21})=(27,3). Alternatively, a manifold with the same data is obtained by starting with a Z2XZ2 orbifold at a generic point on the lattice and adding a freely acting Z2 involution. In this paper we study type I orientifolds on the manifolds that underly th…
▽ More
The NAHE-set, that underlies the realistic free fermionic models, corresponds to Z2XZ2 orbifold at an enhanced symmetry point, with (h_{11},h_{21})=(27,3). Alternatively, a manifold with the same data is obtained by starting with a Z2XZ2 orbifold at a generic point on the lattice and adding a freely acting Z2 involution. In this paper we study type I orientifolds on the manifolds that underly the NAHE-based models by incorporating such freely acting shifts. We present new models in the Type I vacuum which are modulated by Z2^n for n=2,3. In the case of n=2, the Z2XZ2 structure is a composite orbifold Kaluza-Klein shift arrangement. The partition function provides a simpler spectrum with chiral matter. For n=3, the case discussed is a Z2 modulation of the T6/(Z2 X Z2) spectrum. The additional projection shows an enhanced closed and open sector with chiral matter. The brane stacks are correspondingly altered from those which are present in the Z2 X Z2 orbifold. In addition, we discuss the models arising from the open sector with and without discrete torsion.
△ Less
Submitted 25 September, 2003; v1 submitted 1 February, 2003;
originally announced February 2003.
-
Flat Directions in Left-Right Symmetric String Derived Models
Authors:
Gerald B. Cleaver,
David J. Clements,
Alon E. Faraggi
Abstract:
The only string models known to reproduce the Minimal Supersymmetric Standard Model in the low energy effective field theory are those constructed in the free fermionic formulation. We demonstrate the existence of quasi-realistic free fermionic heterotic-string models in which supersymmetric singlet flat directions do not exist. This raises the possibility that supersymmetry is broken perturbati…
▽ More
The only string models known to reproduce the Minimal Supersymmetric Standard Model in the low energy effective field theory are those constructed in the free fermionic formulation. We demonstrate the existence of quasi-realistic free fermionic heterotic-string models in which supersymmetric singlet flat directions do not exist. This raises the possibility that supersymmetry is broken perturbatively in such models by the one-loop Fayet-Iliopoulos term. We show, however, that supersymmetric flat directions that utilize VEVs of some non-Abelian fields in the massless string spectrum do exist in the model. We argue that hidden sector condensates lift the flat directions and break supersymmetry hierarchically.
△ Less
Submitted 8 April, 2002; v1 submitted 5 June, 2001;
originally announced June 2001.
