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) …

… , a key advantage of a non-categorical approach to religious freedom claims would be the
… Within a noncategorical approach, freedom of religion can take its place among other rights …

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

… An alternative to the categorical approach of DSM-IV-TR is to consider the maladaptive
behavior patterns covered by the DSM-IV-TR personality disorder diagnoses to be maladaptive …