output
20012026
most citedStrong Coupling of a Spin Ensemble to a Superconducting Resonator

646 citations

researchers with a paper here
collaborating institutions
Showing 2016 · cs.PLShow all

2 papers · 2 filters

cs.PL2016★ 25 cited

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Mounir Assaf, David A. Naumann, Julien Signoles +2

We show how static analysis for secure information flow can be expressed and proved correct entirely within the framework of abstract interpretation. The key idea is to define a Ga…

cs.PL2016★ 2 cited

Hybrid Information Flow Analysis for Programs with Arrays

Gergö Barany

Information flow analysis checks whether certain pieces of (confidential) data may affect the results of computations in unwanted ways and thus leak information. Dynamic informatio…