Source author record

Florian Frank

Florian Frank appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
14topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

Abusing Commodity DRAMs in IoT Devices to Remotely Spy on Temperature

The ubiquity and pervasiveness of modern Internet of Things (IoT) devices opens up vast possibilities for novel applications, but simultaneously also allows spying on, and collecting data from, unsuspecting users to a previously unseen extent. This paper details a new attack form in this vein, in which the decay properties of widespread, off-the-shelf DRAM modules are exploited to accurately sense the temperature in the vicinity of the DRAM-carrying device. Among others, this enables adversaries to remotely and purely digitally spy on personal behavior in users' private homes, or to collect security-critical data in server farms, cloud storage centers, or commercial production lines. We demonstrate that our attack can be performed by merely compromising the software of an IoT device and does not require hardware modifications or physical access at attack time. It can achieve temperature resolutions of up to 0.5°C over a range of 0°C to 70°C in practice. Perhaps most interestingly, it even works in devices that do not have a dedicated temperature sensor on board. To complete our work, we discuss practical attack scenarios as well as possible countermeasures against our temperature espionage attacks.

preprint2022arXiv

Coalgebraic Semantics for Nominal Automata

This paper provides a coalgebraic approach to the language semantics of two types of non-deterministic automata over nominal sets: non-deterministic orbit-finite automata (NOFAs) and regular nominal non-deterministic automata (RNNAs), which were introduced in previous work. While NOFAs are a straightforward nominal version of non-deterministic automata, RNNAs feature ordinary as well as name binding transitions. Correspondingly, words accepted by RNNAs are strings formed by ordinary letters and name binding letters. Bar languages are sets of such words modulo $α$-equivalence, and to every state of an RNNA one associates its accepted bar language. We show that the semantics of NOFAs and RNNAs, respectively, arise both as an instance of the Kleisli-style coalgebraic trace semantics as well as an instance of the coalgebraic language semantics obtained via generalized determinization. On the way we revisit coalgebraic trace semantics in general and give a new compact proof for the main result in that theory stating that an initial algebra for a functor yields the terminal coalgebra for the Kleisli extension of the functor. Our proof requires fewer assumptions on the functor than all previous ones.

preprint2022arXiv

Estimating permeability of 3D micro-CT images by physics-informed CNNs based on DNS

In recent years, convolutional neural networks (CNNs) have experienced an increasing interest in their ability to perform a fast approximation of effective hydrodynamic parameters in porous media research and applications. This paper presents a novel methodology for permeability prediction from micro-CT scans of geological rock samples. The training data set for CNNs dedicated to permeability prediction consists of permeability labels that are typically generated by classical lattice Boltzmann methods (LBM) that simulate the flow through the pore space of the segmented image data. We instead perform direct numerical simulation (DNS) by solving the stationary Stokes equation in an efficient and distributed-parallel manner. As such, we circumvent the convergence issues of LBM that frequently are observed on complex pore geometries, and therefore, improve the generality and accuracy of our training data set. Using the DNS-computed permeabilities, a physics-informed CNN PhyCNN) is trained by additionally providing a tailored characteristic quantity of the pore space. More precisely, by exploiting the connection to flow problems on a graph representation of the pore space, additional information about confined structures is provided to the network in terms of the maximum flow value, which is the key innovative component of our workflow. The robustness of this approach is reflected by very high prediction accuracy, which is observed for a variety of sandstone samples from archetypal rock formations.

preprint2022arXiv

Estimating relative diffusion from 3D micro-CT images using CNNs

In the past several years, convolutional neural networks (CNNs) have proven their capability to predict characteristic quantities in porous media research directly from pore-space geometries. Due to the frequently observed significant reduction in computation time in comparison to classical computational methods, bulk parameter prediction via CNNs is especially compelling, e.g. for effective diffusion. While the current literature is mainly focused on fully saturated porous media, the partially saturated case is also of high interest. Due to the qualitatively different and more complex geometries of the domain available for diffusive transport present in this case, standard CNNs tend to lose robustness and accuracy with lower saturation rates. In this paper, we demonstrate the ability of CNNs to perform predictions of relative diffusion directly from full pore-space geometries. As such, our CNN conveniently fuses diffusion prediction and a well-established morphological model which describes phase distributions in partially saturated porous media.

preprint2022arXiv

On the Sustainability of Lightweight Cryptography Based on PUFs Implemented on NAND Flash Memories Using Programming Disturbances

In this work, we examine the potential of Physical Unclonable Functions (PUFs) that have been implemented on NAND Flash memories using programming disturbances to act as sustainable primitives for the purposes of lightweight cryptography. In particular, we investigate the ability of such PUFs to tolerate temperature and voltage variations, and examine the current shortcomings of existing NAND-Flash-memory PUFs that are based on programming disturbances as well as how these could potentially be addressed in order to provide more robust and more sustainable security solutions.

preprint2021arXiv

Searching for dark matter with an unequal delay interferometer

We propose a new type of experiment that compares the frequency of a clock (an ultra-stable optical cavity in this case) at time $t$ to its own frequency some time $t-T$ earlier, by "storing" the output signal (photons) in a fibre delay line. In ultra-light oscillating dark matter (DM) models, such an experiment is sensitive to coupling of DM to the standard model fields, through oscillations of the cavity and fibre lengths and of the fibre refractive index. Additionally, the sensitivity is significantly enhanced around the mechanical resonances of the cavity. We present experimental result of such an experiment and report no evidence of DM for masses in the [$4.1\times 10^{-11}$, $8.3\times 10^{-10}$]~eV region. In addition, we improve constraints on the involved coupling constants by one order of magnitude in a standard galactic DM model, at the mass corresponding to the resonant frequency of our cavity. Furthermore, in the model of relaxion DM, we improve on existing constraints over the whole DM mass range by about one order of magnitude, and up to six orders of magnitude at resonance.

preprint2020arXiv

Benchmark for numerical solutions of flow in heterogeneous groundwater formations

This article presents numerical investigations on accuracy and convergence properties of several numerical approaches for simulating steady state flows in heterogeneous aquifers. Finite difference, finite element, discontinuous Galerkin, spectral, and random walk methods are tested on one- and two-dimensional benchmark flow problems. Realizations of log-normal hydraulic conductivity fields are generated by Kraichnan algorithms in closed form as finite sums of random periodic modes, which allow direct code verification by comparisons with manufactured reference solutions. The quality of the methods is assessed for increasing number of random modes and for increasing variance of the log-hydraulic conductivity fields with Gaussian and exponential correlation. Experimental orders of convergence are calculated from successive refinements of the grid. The numerical methods are further validated by comparisons between statistical inferences obtained from Monte Carlo ensembles of numerical solutions and theoretical first-order perturbation results. It is found that while for Gaussian correlation of the log-conductivity field all the methods perform well, in the exponential case their accuracy deteriorates and, for large variance and number of modes, the benchmark problems are practically not tractable with reasonably large computing resources, for all the methods considered in this study.

preprint2020arXiv

Determination of the 3D Magnetic Field Vector Orientation with NV Centers in Diamond

Absolute knowledge about the magnetic field orientation plays a crucial role in single spin-based quantum magnetometry and the application toward spin-based quantum computation. In this paper, we reconstruct the 3D orientation of an arbitrary static magnetic field with individual nitrogen vacancy (NV) centers in diamond. We determine the polar and the azimuthal angle of the magnetic field orientation relative to the diamond lattice. Therefore, we use information from the photoluminescence anisotropy of the NV, together with a simple pulsed Optically Detected Magnetic Resonance (ODMR) experiment. Our nanoscopic magnetic field determination is generally applicable and does not rely on special prerequisites such as strongly coupled nuclear spins or particular controllable fields. Hence, our presented results open up new paths for precise NMR reconstructions and the modulation of the electron-electron spin interaction in EPR measurements by specifically tailored magnetic fields.

preprint2020arXiv

FESTUNG: A MATLAB /GNU Octave toolbox for the discontinuous Galerkin method. Part IV: Generic problem framework and model-coupling interface

This is the fourth installment in our series on implementing the discontinuous Galerkin (DG) method as an open source MATLAB /GNU Octave toolbox. Similarly to its predecessors, this part presents new features for application developers employing DG methods and follows our strategy of relying on fully vectorized constructs and supplying a comprehensive documentation. The specific focus of the current work is the newly added generic problem implementation framework and the highly customizable model-coupling interface for multi-domain and multi-physics simulation tools based on this framework. The functionality of the coupling interface in the FESTUNG toolbox is illustrated using a two-way coupled free-surface / groundwater flow system as an example application.

preprint2016arXiv

A finite volume/discontinuous Galerkin method for the advective Cahn-Hilliard equation with degenerate mobility on porous domains stemming from micro-CT imaging

A numerical method is formulated for the solution of the advective Cahn-Hilliard (CH) equation with constant and degenerate mobility in three-dimensional porous media with non-vanishing velocity on the exterior boundary. The CH equation describes phase separation of an immiscible binary mixture at constant temperature in the presence of a mass constraint and dissipation of free energy. Porous media/pore-scale problems specifically entail high-resolution images of rocks in which the solid matrix and pore spaces are fully resolved. The interior penalty discontinuous Galerkin method is used for the spatial discretization of the CH equation in mixed form, while a semi-implicit convex-concave splitting is utilized for temporal discretization. The spatial approximation order is arbitrary, while it reduces to a finite volume scheme for the choice of elementwise constants. The resulting nonlinear systems of equations are reduced using the Schur complement and solved via Newton's method. The numerical scheme is first validated using numerical convergence tests and then applied to a number of fundamental problems for validation and numerical experimentation purposes including the case of degenerate mobility. First-order physical applicability and robustness of the numerical method are shown in a breakthrough scenario on a voxel set obtained from a micro-CT scan of a real sandstone rock sample.

preprint2016arXiv

A survey of sparse matrix-vector multiplication performance on large matrices

We contribute a third-party survey of sparse matrix-vector (SpMV) product performance on industrial-strength, large matrices using: (1) The SpMV implementations in Intel MKL, the Trilinos project (Tpetra subpackage), the CUSPARSE library, and the CUSP library, each running on modern architectures. (2) NVIDIA GPUs and Intel multi-core CPUs (supported by each software package). (3) The CSR, BSR, COO, HYB, and ELL matrix formats (supported by each software package).

preprint2016arXiv

Stabilized density gradient theory algorithm for modeling interfacial properties of pure and mixed systems

Density gradient theory (DGT) allows fast and accurate determination of surface tension and density profile through a phase interface. Several algorithms have been developed to apply this theory in practical calculations. While the conventional algorithm requires a reference substance of the system, a modified "stabilized density gradient theory" (SDGT) algorithm is introduced in our work to solve DGT equations for multiphase pure and mixed systems. This algorithm makes it possible to calculate interfacial properties accurately at any domain size larger than the interface thickness without choosing a reference substance or assuming the functional form of the density profile. As part of DGT inputs, the perturbed chain statistical associating fluid theory (PC-SAFT) equation of state (EoS) was employed for the first time with the SDGT algorithm. PC-SAFT has excellent performance in predicting liquid phase properties as well as phase behaviors. The SDGT algorithm with the PC-SAFT EoS was tested and compared with experimental data for several systems. Numerical stability analyses were also included in each calculation to verify the reliability of this approach for future applications.