Subliminal perception (SP) is today considered a well-supported theory stating that perception can occur without conscious awareness and have a significant impact on later behaviour and thought. In this article, we first present and discuss different approaches to the study of SP. In doing this, we claim that most approaches are based on a dichotomic measure of awareness. Drawing upon recent ad...

Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative introspection force the relation of epistemic indiscernibility to be transitive and euclidean. Correlatively, Williamson’s margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We present a new semantics for modal logic which is shown to be comple...

Binocular rivalry, the perceptual alternation between incompatible monocular stimuli, is conventionally measured by asking the subject which percept is currently visible. This is problematic because the response is unverifiable, open to response bias, and falsely assumes that the perceptual experience is binary. We overcame these limitations in a new approach that does not require subjective re...

Security requirements in the cloud have led to the development of new monitoring techniques that can be broadly categorized as virtual machine introspection (VMI) techniques. VMI monitoring aims to provide high-fidelity monitoring while keeping the monitor secure by leveraging the isolation provided by virtualization. This work shows that not all hypervisor activity is hidden from the guest vir...

Context: In C, low-level errors, such as buffer overflow and use-after-free, are a major problem, as they cause security vulnerabilities and hard-to-find bugs. C lacks automatic checks, and programmers cannot apply defensive programming techniques because objects (e.g., arrays or structs) lack run-time information about bounds, lifetime, and types. Inquiry: Current approaches to tackling low-le...