We introduce a novel approach to secure compilation based on maps of distributive laws.
We demonstrate through four examples that the coherence criterion for maps of distributive …

… compilation, but also for secure compilation, which is the more recent idea that our compilation
chains should do more to also ensure security … the semantics of a compiled program (in …

… Motivated by the complexity of current formal methods, I also introduce an abstract,
categorical approach to secure compilation. The basis of this approach is Turi and Plotkin’s …

… To overcome the issues highlighted above, we extend the categorical approach to secure
compilation of Tsampas et al. [48] and propose an abstract criterion that implies both and for a \…

… This paper starts by introducing relevant notions of security properties and secure compilation
(Section 2), and discusses related work (Section 7) before concluding (Section 8). Open …

… The categorical approach and architectural design principles supported by the language
are illustrated through the design of a fault-tolerant, dynamic client-server system, from which …

… Given our method of data collection, we relied on the use of peer debriefing and member
checking to establish issues of credibility . After each interview, we (the co-researchers) …

… Drawing on these theoretical developments, we argue for an inter-categorical conceptualisation
of social location that recognises differentiation without reifying social groupings thus …

… is rooted in a deeply pragmatic approach to quantum theory. The categorical framework we
develop is more general than … We denote the collection of smooth functions by C∞(M). The …

… are best classified using dimensional or categorical approaches is a contentious one that …
, sex, age, and method of ascertainment and data collection. Whilst these observed latent …