lif reviews and mentions
Posts with mentions or reviews of lif.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Partial Control-Flow Linearization removes Side Channels
That does not seem to have much to do with security. However, replace "divergent" with "secret" and "uniform" with "public", and magic happens! We end up with an algorithm that transforms a program to make it control-flow invariant with respect to secret inputs. This algorithm is optimal: it removes only branches controlled by secret inputs. This last observation means that we can linearize even programs that contain loops without unrolling these loops. We have implemented an LLVM transformation that uses PCFL to make programs isochronous with regard to classified inputs. If you want to know more, we tell the whole story in this MSc dissertation. You can watch the MSc defense here.
Stats
Basic lif repo stats
1
44
0.0
over 1 year ago
lac-dcc/lif is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.
The primary programming language of lif is LLVM.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com