Open in app

Sign In

Write

Sign In

Priyanka Mondal
Priyanka Mondal

29 Followers

Home

About

Oct 15, 2020

Progress sensitive security

This is also known as termination sensitive security. Termination is considered a covert channel as a terminating program might reveal some information to the attacker. A program should be progress/termination sensitive to prevent information leakage in this channel. This is enforced via the language semantics and type system. A progress/termination insensitive language reveals arbitrary information at termination.

1 min read

1 min read


Oct 15, 2020

Faceted Values

This post is based on the paper by Thomas Austin and Cormac Flanagan. A value can be read by some entity who has the proper authority to read it. A value <k ? s : p> means an entity with authority label k or higher will see the value s, otherwise it will see p. They have evaluation semantics for faceted values. And they also have a concept of view. L: Faceted_Value → value Equivalnce of view, if V1 eqv V2 then L(V1) = L(V2)

1 min read

1 min read


Oct 15, 2020

Secure Compilation

Compilers convert source language to target language. Sometimes they take one pass, and sometimes they take multiple passes. We need to make sure the compiled language in each pass retains all the security properties of the source language : The goal of secure compilation techniques is to ensure this particular…

1 min read

1 min read


Oct 15, 2020

Byzantine Fault Tolerance in Long-lived Systems

This paper is written by Rodrigous and Liskov. There are two important liveness aspects in BFT. Fault detection and recovery. With remote attestation, i.e. secure hardware, fault detection is easy but recovery is not possible. With proactive recovery detecting faults is not possible but recovery from certain attacks is possible. Proactive recovery is when each node is monitored by a watch-dog periodically and restarted with reinitialised code upon some failure.

1 min read

1 min read


May 7, 2020

Haskell IO Monad

6: Laziness Suggested reading: In the first lesson, I mentioned that Haskell is lazy, and promised to eventually explain in more…www.schoolofhaskell.com Side effects and purity So, what’s really at issue here is the presence or absence of side effects. By “side effect” we mean anything that causes evaluation of an expression to interact with something outside itself. The root issue is that such outside interactions are time-sensitive. For example:

2 min read

2 min read


May 3, 2020

Haskell Lazy Evaluation

let x = z^2 in if cond then x+y else 1 In 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 unnecessary and waste of resources to evaluate x beforehand. It is…

3 min read

3 min read


Apr 29, 2020

Haskell Higher Order Functions

A 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 we will discuss a few popular Haskell higher order functions. Filter As the name suggests this function filters out data that satisfy some condition. …

3 min read

3 min read


Apr 26, 2020

Haskell Curry (and Uncurry)

When we write that a function F has type a → b → c, we can say two things about it. the function takes two parameters of type a and b and returns a type c. [i.e. (a → b) → c ] Or, the function takes a parameter of…

2 min read

2 min read


Apr 25, 2020

Haskell Monads

Let us talk about the most popular typeclass in Haskell, i.e. monads. The main usage of monads in Haskell is to make effects wrap inside a context, so that it has a type. …

3 min read

3 min read


Apr 25, 2020

Haskell Monoids

First, let us see what algebraic structures are. An algebraic structure comprises of three parts: a set of elements, a set of operations on the elements with finite arity, and a set of identity elements. Monoid is an algebraic structure with an associative binary operation and an identity element. …

2 min read

2 min read

Priyanka Mondal

Priyanka Mondal

29 Followers
Following
  • Arshed Nabeel

    Arshed Nabeel

  • Bindiya Mutum

    Bindiya Mutum

  • Mohit Mamoria

    Mohit Mamoria

  • Vlad Zamfir

    Vlad Zamfir

  • Adwitee Roy

    Adwitee Roy

See all (32)

Help

Status

Writers

Blog

Careers

Privacy

Terms

About

Text to speech

Teams