b0r3k/thesis-sentiment-stock-transfer-entropy

Transfer entropy analysis pipeline for studying causal information flow between financial news sentiment and STOXX 50 stock returns. Implements complete workflow from Eikon data collection through FinBERT sentiment analysis to transfer entropy computation using IDTxl.

Language: Python - Size: 103 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

SVF-tools/Teaching-Software-Analysis

Teaching and Learning Software Analysis via SVF

Language: C++ - Size: 28.6 MB - Last synced at: 20 days ago - Pushed at: about 1 month ago - Stars: 203 - Forks: 118

TroupeLang/Troupe

Troupe programming language

Language: TypeScript - Size: 1.52 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 21 - Forks: 14

Gradual-Typing/LambdaIFCStar

The Agda mechanization of a gradual security-typed programming language with general mutable references.

Language: Agda - Size: 971 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 4 - Forks: 1

marcoantoniocorallo/Trustee

Trustee is a simple, statically typed, functional language that supports security primitives and taint analysis.

Language: OCaml - Size: 1.43 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

lceragioli/SELinuxIFCIL

A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier

Language: OCaml - Size: 5.14 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

sireum/v3-awas 📦

Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems

Language: JavaScript - Size: 51 MB - Last synced at: 7 months ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 1

dimgold/pycon_social_networkx

Social network analysis code examples for PyCon 2019 talk

Language: Jupyter Notebook - Size: 10.6 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 127 - Forks: 42

alubbock/itmprobe-wrapper

Docker wrapper for ITM Probe information flow tool

Language: Game Maker Language - Size: 156 KB - Last synced at: over 1 year ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

SolangeUG/information-flow

Capstone project of the Coursera "Object Oriented Java Programming: Data Structures and Beyond" specialization. It investigates the cascading behavior (or information flow) within a social network.

Language: Java - Size: 2.69 MB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0

dfava/command

Very simple information flow aware compiler with Flex, Bison, LLVM, C/C++

Language: C++ - Size: 70.3 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 1

ACHARYAkishor/Transfer-Entropy

Calculation of Renye Transfer Entropy

Language: Jupyter Notebook - Size: 62.5 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Neroysq/VyperFlow

A next-generation secure smart contract language for Ethereum.

Language: Python - Size: 1.43 MB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 13 - Forks: 1

matbut/Nexus

Bots detection on Twitter based on information flow and link analysis

Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

ProjectEKA/consent-manager

The Health Data Consent Manager is an entity that acts as a consent collector for the Customer and mediates the Health Information data flows from the HIP to the recipient HIU or the Customer.

Language: Java - Size: 13.6 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 24 - Forks: 18

diogocp/ssoft-project 📦

Language: Python - Size: 308 KB - Last synced at: 8 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

m31L3r/KalmanFilter

A Kalman Filter in Simulink for easier understanding.

Size: 214 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 2

qluo2018/GCSDN

Granger Causality with Signal-dependent Noise

Language: Matlab - Size: 65.4 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 1

D-Parkinson1/DafnyInfoFlow

An extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysis allows the verification of concurrent programs.

Language: C# - Size: 3.44 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

umangm/mopedqleak

MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs

Language: C - Size: 1.31 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

BFreitas16/SSof

Software Security Projects : pentesting and static analysis

Language: Python - Size: 580 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

tyilo/fstar-ni

Using F* to prove non-interference for a well-typed subset of programs written in a small imperative language

Size: 27.3 KB - Last synced at: 1 day ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

Teemperor/cif

Enforcing information flow in C-languages with Clang.

Language: C++ - Size: 367 MB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0