A Type System for Computationally Secure Information Flow

@inproceedings{Laud2005ATS,
  title={A Type System for Computationally Secure Information Flow},
  author={Peeter Laud and Varmo Vene},
  booktitle={FCT},
  year={2005}
}
The paper presents a novel type system for checking the secur ity of information flow in programs containing operations of symmetr ic encryption. The type system is correct with respect to the complexity-theor etic security definitions of the encryption primitive. Topics: semantics, cryptography. 
Highly Cited
This paper has 53 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
35 Citations
28 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 35 extracted citations

53 Citations

051015'07'10'13'16
Citations per Year
Semantic Scholar estimates that this publication has 53 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 28 references

A Type System for Computationally Sec ur Information Flow

  • P. Laud, V. Vene
  • Tech. Report IT-LU-O-043-050307, Cybernetica AS…
  • 2005
Highly Influential
3 Excerpts

A Type System for Computationally Secure Information Flow

  • P. Laud, V. Vene
  • 2005

Similar Papers

Loading similar papers…