Priyanka MondalProgress sensitive securityThis is also known as termination sensitive security. Termination is considered a covert channel as a terminating program might reveal…Oct 15, 2020Oct 15, 2020
Priyanka MondalFaceted ValuesThis post is based on the paper by Thomas Austin and Cormac Flanagan.Oct 15, 2020Oct 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…Oct 15, 2020Oct 15, 2020
Priyanka MondalByzantine Fault Tolerance in Long-lived SystemsThis paper is written by Rodrigous and Liskov.Oct 15, 2020Oct 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…May 3, 2020May 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…Apr 29, 2020Apr 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.Apr 26, 2020Apr 26, 2020
Priyanka MondalHaskell MonadsLet us talk about the most popular typeclass in Haskell, i.e. monads.Apr 25, 2020Apr 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…Apr 25, 2020Apr 25, 2020