-
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
Authors:
Dalton Chichester,
Wei Du,
Raymond Kauffman,
Hai Lin,
Christopher Lynch,
Andrew M. Marshall,
Catherine A. Meadows,
Paliath Narendran,
Veena Ravishankar,
Luis Rovira,
Brandon Rozek
Abstract:
Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable proofs of soundness/completeness, can be used both to identify insecure cryptosystems and prove sound ones secure. But although a number of such symbolic algorithms have been developed and implemented, they remain scattere…
▽ More
Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable proofs of soundness/completeness, can be used both to identify insecure cryptosystems and prove sound ones secure. But although a number of such symbolic algorithms have been developed and implemented, they remain scattered throughout the literature. In this paper, we present a tool, CryptoSolve, which provides a common basis for specification and implementation of these algorithms, CryptoSolve includes libraries that provide the term algebras used to express symbolic cryptographic systems, as well as implementations of useful algorithms, such as unification and variant generation. In its current initial iteration, it features several algorithms for the generation and analysis of cryptographic modes of operation, which allow one to use block ciphers to encrypt messages more than one block long. The goal of our work is to continue expanding the tool in order to consider additional cryptosystems and security questions, as well as extend the symbolic libraries to increase their applicability.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
Scrutinizing Shipment Records To Thwart Illegal Timber Trade
Authors:
Debanjan Datta,
Sathappan Muthiah,
John Simeone,
Amelia Meadows,
Naren Ramakrishnan
Abstract:
Timber and forest products made from wood, like furniture, are valuable commodities, and like the global trade of many highly-valued natural resources, face challenges of corruption, fraud, and illegal harvesting. These grey and black market activities in the wood and forest products sector are not limited to the countries where the wood was harvested, but extend throughout the global supply chain…
▽ More
Timber and forest products made from wood, like furniture, are valuable commodities, and like the global trade of many highly-valued natural resources, face challenges of corruption, fraud, and illegal harvesting. These grey and black market activities in the wood and forest products sector are not limited to the countries where the wood was harvested, but extend throughout the global supply chain and have been tied to illicit financial flows, like trade-based money laundering, document fraud, species mislabeling, and other illegal activities. The task of finding such fraudulent activities using trade data, in the absence of ground truth, can be modelled as an unsupervised anomaly detection problem. However existing approaches suffer from certain shortcomings in their applicability towards large scale trade data. Trade data is heterogeneous, with both categorical and numerical attributes in a tabular format. The overall challenge lies in the complexity, volume and velocity of data, with large number of entities and lack of ground truth labels. To mitigate these, we propose a novel unsupervised anomaly detection -- Contrastive Learning based Heterogeneous Anomaly Detection (CHAD) that is generally applicable for large-scale heterogeneous tabular data. We demonstrate our model CHAD performs favorably against multiple comparable baselines for public benchmark datasets, and outperforms them in the case of trade data. More importantly we demonstrate our approach reduces assumptions and efforts required hyperparameter tuning, which is a key challenging aspect in an unsupervised training paradigm. Specifically, our overarching objective pertains to detecting suspicious timber shipments and patterns using Bill of Lading trade record data. Detecting anomalous transactions in shipment records can enable further investigation by government agencies and supply chain constituents.
△ Less
Submitted 31 July, 2022;
originally announced August 2022.
-
Predicting Opioid Use Disorder from Longitudinal Healthcare Data using Multi-stream Transformer
Authors:
Sajjad Fouladvand,
Jeffery Talbert,
Linda P. Dwoskin,
Heather Bush,
Amy Lynn Meadows,
Lars E. Peterson,
Ramakanth Kavuluru,
** Chen
Abstract:
Opioid Use Disorder (OUD) is a public health crisis costing the US billions of dollars annually in healthcare, lost workplace productivity, and crime. Analyzing longitudinal healthcare data is critical in addressing many real-world problems in healthcare. Leveraging the real-world longitudinal healthcare data, we propose a novel multi-stream transformer model called MUPOD for OUD identification. M…
▽ More
Opioid Use Disorder (OUD) is a public health crisis costing the US billions of dollars annually in healthcare, lost workplace productivity, and crime. Analyzing longitudinal healthcare data is critical in addressing many real-world problems in healthcare. Leveraging the real-world longitudinal healthcare data, we propose a novel multi-stream transformer model called MUPOD for OUD identification. MUPOD is designed to simultaneously analyze multiple types of healthcare data streams, such as medications and diagnoses, by attending to segments within and across these data streams. Our model tested on the data from 392,492 patients with long-term back pain problems showed significantly better performance than the traditional models and recently developed deep learning models.
△ Less
Submitted 7 July, 2021; v1 submitted 15 March, 2021;
originally announced March 2021.
-
A New Twist on Wythoff's Game
Authors:
Alex Meadows,
Brad Putman
Abstract:
Wythoff's Game is a game for two players playing alternately on two stacks of tiles. On her turn, a player can either remove a positive number of tiles from one stack, or remove an equal positive number of tiles from both stacks. The last player to move legally wins the game. We propose and study a new extension of this game to more than two stacks, which we call Twyst-off, inspired by the Reideme…
▽ More
Wythoff's Game is a game for two players playing alternately on two stacks of tiles. On her turn, a player can either remove a positive number of tiles from one stack, or remove an equal positive number of tiles from both stacks. The last player to move legally wins the game. We propose and study a new extension of this game to more than two stacks, which we call Twyst-off, inspired by the Reidemeister moves of knot theory. From an ordered sequence of stacks of tiles, a player may either remove a positive number of tiles from one of the two end stacks, or remove the same positive number of tiles from two consecutive stacks. Whenever an interior stack is reduced to 0, the two neighboring stacks are combined. In this paper, we prove several results about those Twyst-off positions that can be won by the second player (these are called P-positions). We prove an existence and uniqueness result that makes the visualization of data on three-stack P-positions possible. This shows that many such positions are symmetric, like the easy general examples (a,a,a) and (a,a+1,a). The main result establishes tight bounds on those three-stack P-positions that are not symmetric. We go on to prove one general structural result for positions with an arbitrary number of stacks. We also prove facts about the game when allowing stacks of infinite size, including classifying all positions with only infinite stacks in sequences of up to six stacks.
△ Less
Submitted 22 June, 2016;
originally announced June 2016.
-
Non-Maxwellian electron distributions resulting from direct laser acceleration in near-critical plasmas
Authors:
T. Toncian,
C. Wang,
E. McCary,
A. Meadows,
A. V. Arefiev,
J. Blakeney,
K. Serratto,
D. Kuk,
C. Chester,
R. Roycroft,
L. Gao,
H. Fu,
X. Q. Yan,
J. Schreiber,
I. Pomerantz,
A. Bernstein,
H. Quevedo,
G. Dyer,
T. Ditmire,
B. M. Hegelich
Abstract:
The irradiation of few nm thick targets by a finite-contrast high-intensity short-pulse laser results in a strong pre-expansion of these targets at the arrival time of the main pulse. The targets decompress to near and lower than critical densities plasmas extending over few micrometers, i.e. multiple wavelengths. The interaction of the main pulse with such a highly localized but inhomogeneous tar…
▽ More
The irradiation of few nm thick targets by a finite-contrast high-intensity short-pulse laser results in a strong pre-expansion of these targets at the arrival time of the main pulse. The targets decompress to near and lower than critical densities plasmas extending over few micrometers, i.e. multiple wavelengths. The interaction of the main pulse with such a highly localized but inhomogeneous target leads to the generation of a short channel and further self-focusing of the laser beam. Experiments at the GHOST laser system at UT Austin using such targets measured non-Maxwellian, peaked electron distribution with large bunch charge and high electron density in the laser propagation direction. These results are reproduced in 2D PIC simulations using the EPOCH code, identifying Direct Laser Acceleration (DLA) as the responsible mechanism. This is the first time that DLA has been observed to produce peaked spectra as opposed to broad, maxwellian spectra observed in earlier experiments. This high-density electrons have potential applications as injector beams for a further wakefield acceleration stage as well as for pump-probe applications.
△ Less
Submitted 13 November, 2015;
originally announced November 2015.
-
Stable and singular solutions of the equation $Δu = 1/u$
Authors:
Alexander M. Meadows
Abstract:
We study properties of the semilinear elliptic equation $Δu = 1/u$ on domains in $R^n$, with an eye toward nonnegative singular solutions as limits of positive smooth solutions. We prove the nonexistence of such solutions in low dimensions when we also require them to be stable for the corresponding variational problem. The problem of finding singular solutions is related to the general study of…
▽ More
We study properties of the semilinear elliptic equation $Δu = 1/u$ on domains in $R^n$, with an eye toward nonnegative singular solutions as limits of positive smooth solutions. We prove the nonexistence of such solutions in low dimensions when we also require them to be stable for the corresponding variational problem. The problem of finding singular solutions is related to the general study of singularities of minimal hypersurfaces in Euclidean space.
△ Less
Submitted 22 April, 2004;
originally announced April 2004.