A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Preface to the special issue on quantitative information flow
2014
Mathematical Structures in Computer Science
Preserved Fulltext
From the perspective of foundations, there have been a variety of studies aimed at defining quantitative measures of information flow for a variety of system models, establishing the operational significance ...
For these reasons, the possibility of quantifying information flow becomes attractive, as this could allow certain improper flows to be tolerated on the grounds that they are 'small'. ...
In Algebraic Foundations for Quantitative Information Flow, Malacaria explores the foundations of quantitative information flow in the special case of deterministic systems. ...
doi:10.1017/s0960129513000583
fatcat:ev7diiuwwvfi5czc7yz6jcrgxu
Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond
2020
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2001.06942v1 fatcat:6c7lsfalb5fanluvezt7nvsqkq
In the same period, they represented the central theme of the series of workshops entitled Quantitative Aspects of Programming Languages and Systems (QAPL) and born in 2001. ...
Quantitative aspects of computation are related to the use of both physical and mathematical quantities, including time, performance metrics, probability, and measures for reliability and security. ...
Information flow analysis and equivalence checking Information flow analysis and the problem of checking the leakage of sensitive data for programs received great attention, especially since the development ...
doi:10.4204/eptcs.312.1
fatcat:4fjvygbppjbq3k5ury2kvue3nq
Editorial
2019
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
They cover a wide range of topics of interest to the formal methods community-a synchronous program algebra for reasoning about concurrency, a hybrid statistical approach for reasoning about information ...
flow, tools for proving safety properties for programs that manipulate data structures, an efficient method for identifying variability abstractions in software product lines, and formal techniques for ...
They cover a wide range of topics of interest to the formal methods community-a synchronous program algebra for reasoning about concurrency, a hybrid statistical approach for reasoning about information ...
doi:10.1007/s00165-019-00481-4
fatcat:6mefal5ndfe4vbaqmxovkdij2i
Page 2046 of Mathematical Reviews Vol. , Issue 99c
[page]
1991
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
and realizes efficient quantitative representation of clause inference in the form of a flow on a graph. ...
(English summary)
Inform. Process. Lett. 67 (1998), no. 3, 145-150. ...
A profitable trading and risk management strategy despite transaction costs
2011
Quantitative finance (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
: Mind games, an interview with Professor Caginalp about quantitative behavioral finance, Wilmott Sept 2009 (a mainstream quantitative finance magazine), pp. 52-53 PROFESSIONAL ACTIVITIES 1. ...
• Inverse problems • Numerical analysis • Differential equations (ODE, PDE, SDE) • Dynamical systems • Wireless networking algorithms and simulation • Computer algebra RESEARCH IN THE NEWS • Cover story ...
Book reviewer for Pearson Addison-Wesley in numerical analysis 6. Book reviewer for MIT Press in quantitative finance 7. ...
doi:10.1080/14697680903449815
fatcat:3xh64mlbxfaypnh5kxni3amtim
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics
2009
2009 International Conference on Availability, Reliability and Security
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our semantic functions provide information flow measurement for programs given secure inputs under any probability distribution. ...
We present an automatic analyzer for measuring information flow within software systems. ...
ACKNOWLEDGMENT This research is supported in part by the EPSRC grant EP/C009967/1 Quantitative Information Flow. ...
doi:10.1109/ares.2009.88
dblp:conf/IEEEares/MuC09
fatcat:dzcr5gmwzngnniwv7gwz4efu4y
Domain-Specific Automatic Programming
1985
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
over the last several years, including detailed examination of existing software for a particular domain (quantitative interpretation of oil well logs) and the implementation of an experimental automatic ...
programming system for that domain The importance of domain knowledge has two important implications: a primary goal of automatic programming research should be to characterize the programming process ...
According to this model, programming for quantitative log interpretation involves four activities: l Informal problem solving: This activity is concerned with informal problems involving inputs, outputs ...
doi:10.1109/tse.1985.231881
fatcat:a36mphnlfbh23hdfymyj32ezhq
A Perspective on Automatic Programming Used by permission of the International Joint Conferences on Artificial Intelligence; copies of the Proceedings are available from Morgan Kaufmann Publishers, Inc., 95 First St., Los Altos, CA 94055 USA
[chapter]
1986
Readings in Artificial Intelligence and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
over the last several years, including detailed examination of existing software for a particular domain (quantitative interpretation of oil well logs) and the implementation of an experimental automatic ...
programming system for that domain The importance of domain knowledge has two important implications: a primary goal of automatic programming research should be to characterize the programming process ...
According to this model, programming for quantitative log interpretation involves four activities: l Informal problem solving: This activity is concerned with informal problems involving inputs, outputs ...
doi:10.1016/b978-0-934613-12-5.50045-8
fatcat:54lwld5gqva6lbes3btpuspflm
Modelling the dynamics of biosystems
2004
Briefings in Bioinformatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The need for a more formal handling of biological information processing with stochastic and mobile process algebras is addressed. ...
Although the term bioinformatics introduced by Hwa Lim in the 1980s was intended for the study of the information content and information flow in biological processes and systems, the research has mainly ...
For instance the process (program) P ¼ (íp)[(p!a.nil) | (p?x.x! ...
doi:10.1093/bib/5.3.259
pmid:15383212
fatcat:kooxjwbrnbgghjketwvsywz2pi
Information, Processes and Games
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We survey the prospects for an Information Dynamics which can serve as the basis for a fundamental theory of information, incorporating qualitative and structural as well as quantitative aspects. ...
We look at recent work showing new ways of combining quantitative and qualitative theories of information, as embodied respectively by Domain Theory and Shannon Information Theory. ...
I would like to express my warmest appreciation for their input. My thanks also to Jan van Eijck, who commented on the paper on behalf of the Editors, ...
arXiv:1604.02603v1
fatcat:2pd55isux5bldljc66zqnnpuvu
Page 1271 of Mathematical Reviews Vol. , Issue 84c
[page]
1984
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
, 5th #54003 Numerical and Physical Aspects of Aerodynamic Flows Prague Topological, 5th Quantitative Nondestructive Evaluation Victoria, Nonstandard Analysis, 2nd Talence, 1981/1982 Theoretical foundations ...
of programming methodology Topics in ocean physics #86001 Topics in the theory of algebraic groups . #20005 University of Strathclyde Seminars in Applied Mathematical Analysis: Vibration Theory #73010 ...
Algebra for Quantitative Information Flow
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In other work we have studied a refines order for information flow in programs where the comparison defined by the order preserves both functional and confidentiality properties of secrets. ...
In this paper we show how to extend those ideas to obtain a model of information flow which supports local reasoning about confidentiality. ...
In our model for security programs we use this two-layered feature to provide a clean structure for information flow. ...
doi:10.1007/978-3-319-57418-9_1
fatcat:jp5lsptgsbgczowjsjkqv2tkcu
Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow
[article]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Overall we believe these works set the case for establishing the Lattice of Information as one of the main reference structure for Quantitative Information Flow. ...
Several mathematical ideas have been investigated for Quantitative Information Flow. Information theory, probability, guessability are the main ideas in most proposals. ...
Conclusions We investigated the importance of the Lattice of Information for Quantitative Information Flow. ...
arXiv:1101.3453v1
fatcat:yxc2muax7fcibcgwaeb2ic5pti
INFORMATION, PROCESSES AND GAMES
[chapter]
2008
Philosophy of Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
laws for information flow. ...
We need a quantitative theory to deal with essentially quantitative issues such as complexity, information content, rate of information flow etc. ...
We can define a K combinator: However, note that another geometric property is violated here; the first input and output lines are disconnected from the information flow. ...
doi:10.1016/b978-0-444-51726-5.50017-0
fatcat:f7wokk6zmfgt3iuelzk4a53rdu
Algebraic foundations for quantitative information flow
2014
Mathematical Structures in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Overall we believe these works set the case for establishing the Lattice of Information as one of the main reference structure for Quantitative Information Flow. ...
Several mathematical ideas have been investigated for Quantitative Information Flow. Information theory, probability, guessability are the main ideas in most proposals. ...
These programs motivate the introduction of vulnerability in Quantitative Information Flow. ...
doi:10.1017/s0960129513000649
fatcat:rifozutahngu7lfeuu6fek64hq
« Previous
Showing results 1 — 15 out of 28,905 results