Source author record

Niklas Grimm

Niklas Grimm 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

3works
2topics
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

3 published item(s)

preprint2020arXiv

Language-Based Web Session Integrity

Session management is a fundamental component of web applications: despite the apparent simplicity, correctly implementing web sessions is extremely tricky, as witnessed by the large number of existing attacks. This motivated the design of formal methods to rigorously reason about web session security which, however, are not supported at present by suitable automated verification techniques. In this paper we introduce the first security type system that enforces session security on a core model of web applications, focusing in particular on server-side code. We showcase the expressiveness of our type system by analyzing the session management logic of HotCRP, Moodle, and phpMyAdmin, unveiling novel security flaws that have been acknowledged by software developers.

preprint2019arXiv

Unveiling domain wall dynamics of ferrimagnets in thermal magnon currents: competition of angular momentum transfer and entropic torque

Control of magnetic domain wall motion holds promise for efficient manipulation and transfer of magnetically stored information. Thermal magnon currents, generated by temperature gradients, can be used to move magnetic textures, from domain walls, to magnetic vortices and skyrmions. In the last years, theoretical studies have centered in ferro- and antiferromagnetic spin structures, where domain walls always move towards the hotter end of the thermal gradient. Here we perform numerical studies using atomistic spin dynamics simulations and complementary analytical calculations to derive an equation of motion for the domain wall velocity. We demonstrate that in ferrimagnets, domain wall motion under thermal magnon currents shows a much richer dynamics. Below the Walker breakdown, we find that the temperature gradient always pulls the domain wall towards the hot end by minimizating its free energy, in agreement with the observations for ferro- and antiferromagnets in the same regime. Above Walker breakdown, the ferrimagnetic domain wall can show the opposite, counterintuitive behavior of moving towards the cold end. We show that in this case, the motion to the hotter or the colder ends is driven by angular momentum transfer and therefore strongly related to the angular momentum compensation temperature, a unique property of ferrimagnets where the intrinsic angular momentum of the ferrimagnet is zero while the sublattice angular momentum remains finite. In particular, we find that below the compensation temperature the wall moves towards the cold end, whereas above it, towards the hot end. Moreover, we find that for ferrimagnets, there is a torque compensation temperature at which the domain wall dynamics shows similar characteristics to antiferromagnets, that is, quasi-inertia-free motion and the absence of Walker breakdown.

preprint2014arXiv

Lime: Data Lineage in the Malicious Environment

Intentional or unintentional leakage of confidential data is undoubtedly one of the most severe security threats that organizations face in the digital era. The threat now extends to our personal lives: a plethora of personal information is available to social networks and smartphone providers and is indirectly transferred to untrustworthy third party and fourth party applications. In this work, we present a generic data lineage framework LIME for data flow across multiple entities that take two characteristic, principal roles (i.e., owner and consumer). We define the exact security guarantees required by such a data lineage mechanism toward identification of a guilty entity, and identify the simplifying non repudiation and honesty assumptions. We then develop and analyze a novel accountable data transfer protocol between two entities within a malicious environment by building upon oblivious transfer, robust watermarking, and signature primitives. Finally, we perform an experimental evaluation to demonstrate the practicality of our protocol.