Mirarab, Siavash Rabiee, Maryam

Motivation: Phylogenomics faces a dilemma: on the one hand, the most accurate species and gene tree estimation methods are those that co-estimate them; on the other hand, these co-estimation methods do not scale to moderately large numbers of species. The summary-based methods, which first infer gene trees independently and then combine them,...

EPyT: An EPANET-Python Toolkit for Smart Water Network Simulations

What's Changed adding aspect qualifier enums by @EvanDietzMorris in https://github.com/biolink/biolink-model/pull/1380 update name for gtrx infores source to match BTE's name. by @sierra-moxon in https://github.com/biolink/biolink-model/pull/1384 reorder id_prefixes for small molecule, fixes #1375 by @sierra-moxon in...

Al-Turany, Mohammad Klein, Dennis Kollegger, Thorsten

C++ Message Queuing Library and Framework

Weinert, Andrew

Presentation given at the MIT Lincoln Laboratory Virtual Air Traffic Control Workshop on 14 November 2023. Discussion topics include FAA tasking MIT with multiple quick turnaround analyses to estimate if cooperative aircraft were broadcasting ADS-B Out or not and an update of statistical models of aircraft behavior. Notably, 1.6 flight hours of...

VAT comprises several tools to detect vulnerability for automated verification of compliance  Deployed in the CSP's infrastructure  Periodically scan the machines on the monitored network  Web UI to manage scanning tasks, review results VAT Detects:  Web app vulnerabilities (OWASP ZAP, w3af)  Network reconnaissance (hosts, open ports –...

The main goal of RAOF is to support the MEDINA certification verification process with a risk-based evaluation of non-conformities of a cloud service. SATRA (Self-Assessment Tool for Risk Analysis) is based on a simple and quick approach to cyber risk self-assessment. The tool requires two types of input: information about security measures and...

This is the reference implementation of the MEDINA security assessment, based on the Clouditor framework. In its current version 1.1 it is able to evaluate evidences it receives from an evidence collector against pre-defined metrics using the Open Policy Agent.--- Security Assessment tool evaluates incoming evidences according to MEDINA...

This is the reference implementation of the MEDINA Generic Evidence Collector. It represents a template for a customized evidence collector. It is written in Go and already implements the connection to the Clouditor Security Assessment and the Orchestrator (see the Clouditor project and the respective MEDINA components the MEDINA Security...

DSL Mapper is responsible for translating a set of obligations into rego policies and pushing them to the Orchestrator.--- The Domain Specific Language (DSL) Mapper maps the obligations into executable policies expressed in DSL. Obligations come expressed in CNL DSL chosen in MEDINA: Rego language Provides a translation from a non-executable...