Priyanka MondalProgress sensitive securityThis is also known as termination sensitive security. Termination is considered a covert channel as a terminating program might reveal…1 min read·Oct 15, 2020----
Priyanka MondalFaceted ValuesThis post is based on the paper by Thomas Austin and Cormac Flanagan.1 min read·Oct 15, 2020----
Priyanka MondalSecure CompilationCompilers convert source language to target language. Sometimes they take one pass, and sometimes they take multiple passes. We need to…1 min read·Oct 15, 2020----
Priyanka MondalByzantine Fault Tolerance in Long-lived SystemsThis paper is written by Rodrigous and Liskov.1 min read·Oct 15, 2020----
Priyanka MondalHaskell Lazy EvaluationIn the above code x is used only in then branch and not it else branch, and which branch is chosen depends on cond. So, it is totally…3 min read·May 3, 2020----
Priyanka MondalHaskell Higher Order FuA higher order function is a function that can take a function as a parameter and/or can return a function as its end result. In this post…3 min read·Apr 29, 2020----
Priyanka MondalHaskell Curry ( and Uncurry)When we write that a function F has type a → b → c, we can say two things about it.2 min read·Apr 26, 2020----
Priyanka MondalHaskell MonadsLet us talk about the most popular typeclass in Haskell, i.e. monads.3 min read·Apr 25, 2020----
Priyanka MondalHaskell MonoidsFirst, let us see what algebraic structures are. An algebraic structure comprises of three parts: a set of elements, a set of operations…2 min read·Apr 25, 2020----