48 Hits in 9.2 sec

A Messy State of the Union: Taming the Composite State Machines of TLS

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cedric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
2015 2015 IEEE Symposium on Security and Privacy  
We present the first verified implementation of a composite TLS state machine in C that can be embedded into OpenSSL and accounts for all its supported ciphersuites.  ...  We address the problem of designing a robust composite state machine that correctly multiplexes between these different protocol modes.  ...  We thank the developers of OpenSSL, SChannel, SecureTransport, NSS, BoringSSL, Oracle JSSE, CyaSSL, and Mono for their rapid response to our disclosures.  ... 
doi:10.1109/sp.2015.39 dblp:conf/sp/BeurdoucheBDFKP15 fatcat:fwc4pnr2kvf2pd6g6w7ds3k4m4

Page 2 of The Independent Vol. 23, Issue 1175 [page]

1871 The Independent  
., of Galesburg, TL, york in China; why not to Lama, Kansas. must becin with the number of the paper ie a 1.  ...  fas2240m. a 800 so and Salt Rheum, ing of ome Rrotestont ote a fore and to be much more tame—coming close | madrigal, “Farewell to May,’ which was s0 | amtned the plans, His Majesty accepted thet.  ... 

Insecure by Design: Protocols for Encrypted Phone Calls

Steven J. Murdoch
2016 Computer  
This weakness has implications which go further than just the security of phone calls. The current state of security for phone calls leaves a lot to be desired.  ...  A second driver for better phone call encryption is the convergence of Internet and phone networks.  ...  MIKEY-SAKKE 17 Benjamin Beurdouche, et al., "A Messy State of the Union: Taming the Composite State Machines of TLS", in IEEE Symposium on Security and Privacy, 2015, pp. 535-552 IBAKE) Mode of Key Distribution  ... 
doi:10.1109/mc.2016.70 fatcat:5pakzmi5xrdrzfy3bqp6yjaezm

Soviet intervention in Afghanistan and its implications for Pakistan

1986 Studies in Comparative Communism  
Iran to oo.e to the negotiating taMe to nnd a poutioal settlement.  ...  However, the Soviet Union did send a diplomatic protest to Pakistan concerning acceptance of United States military assistance.  ...  On its western border it looks nervously at the presence of 85,000 Soviet troops helping a Marxist Government in Kabul subdue a Muslim population, while at the same time keeping the bulk of its armed Department  ... 
doi:10.1016/0039-3592(86)90051-7 fatcat:vfdvjqp3vzhhhdgv6fitj6gunm

Thoughts and Reminiscences on Experimental Trace Element Partitioning

John Jones
2016 Geochemical Perspectives  
And this was using a Cameca SX-100 electron probe, which was state-of-the-art at the time.  ...  The difference between µ o and µ * is that µ * is not a standard state, but a fictitious state that perhaps cannot be measured.  ...  John is a Fellow of the Meteoritical Society and the Mineralogical Society of America. He is also a member of the American Geophysical Union and the Geochemical Society.  ... 
doi:10.7185/geochempersp.5.2 fatcat:ltk56j6zcjcw3peql6lfu7u5fm


2005 Journal of the Royal Anthropological Institute  
While colonial rulers marginalized the Kui to justify expansion policies, the modern state branded the community as a savage group in need of taming.  ...  Until recently the children of such unions were rendered invisible in cen- suses, and while the latest population count does try to cater for persons holding and wishing to claim composite identities,  ... 
doi:10.1111/j.1467-9655.2005.00253.x fatcat:m7mix6sklfg7xl5xlocfi4vag4

The King's Threshold: Manuscript Materials, edited by Declan Kiely, Yeats in Manuscript Series (Ithaca and London: Cornell University Press, 2005), pp. lxi + 620 [chapter]

Richard Allen Cave
2013 Yeats's Mask  
, 80 I would like to thank the following people who kindly assisted me with the research for this article: James Campbell; Anita Carrico of the Enoch Pratt Free Library; Diane Ducharme of the Beinecke,  ...  He has found, after the manner of his kind, Mere images; chosen this place to live in Because, it may be, of the candle-light From the far tower where Milton's Platonist Sat late, or Shelley's visionary  ...  In the course of this discussion it set out a number of principles for the composition of metrical verse.  ... 
doi:10.2307/j.ctt5vjtxj.25 fatcat:vnj53t4ejva2zhj4jwnzohnjri

The Bleeding of America: Menstruation as Symbolic Economy in Pynchon, Faulkner, and Morrison

Olivia Martin-Phillips, Dana Medoro
2003 Tulsa Studies in Women's Literature  
value of a nap in the sun.  ...  Thank you to my extended family of friends in British Columbia, Winnipeg, Toronto, Kingston and Ottawa-and to my feline family, Kenny and Busker, for tolerating a messy apartment and for showing me the  ...  composition.  ... 
doi:10.2307/20059163 fatcat:fqygncsrpbf2dmfmqz4kesfmoy

Astrophysics in 1996

Virginia Trimble, Lucy Ann McFadden
1997 Publications of the Astronomical Society of the Pacific  
The loudest astronomical headlines of the year came from both very near (planets orbiting stars in the solar neighborhood) and very far (galaxies and parts of galaxies at redshifts of 1 to 3 and more).  ...  lensing, an assortment of extrema).  ...  the triennial commission reports of the International Astronomical Union (Trimble 1997b) .  ... 
doi:10.1086/133865 fatcat:5ryzzvylove5dfzdi4ir7tc3rq

12th international conference on general relativity and gravitation

1989 Foundations of physics letters  
He has measured these as intensively as possible with Herstmonceux machines, a Zeiss-Abbe comparator and the GALAXY automatic-centered machine.  ...  A part of both programs depends immediately upon the equation of state.  ... 
doi:10.1007/bf00690084 fatcat:lzrbnpirmnbnvghyiy4yaqbigy

(De)Politicizing the Environment Club: environmental discourses and the culture of schooling

Cheryl Lousley
1999 Environmental Education Research  
The quality of this reproduction is dependent upon the quality of the copy submitted.  ...  Also, if unauthotized copyright material had to be removed, a note will indicate the deletion.  ...  for the economy's abstract machines. ...  ... 
doi:10.1080/1350462990050304 fatcat:4qrefo3bhnhv7ljvzatz2g7s54

Formal specification and verification of a microkernel [article]

Jan Dörrenbächer, Universität Des Saarlandes, Universität Des Saarlandes
For the modelling and the verification of the Vamos kernel this entails the integration of various computational models, for instance, Communicating Virtual Machines (Cvm) encapsulating the hardware-specific  ...  In the second part, we formulate a simulation theorem between the abstract Vamos model and the concrete Vamos implementation.  ...  Sets come along with the standard operations for union, i. e., A ∪ B, intersection, i. e., A ∩ B and membership, i. e., x ∈ A.  ... 
doi:10.22028/d291-26017 fatcat:bhh7mq2v6veavi57tqftihhegy

Formal verification of a small real-time operating system [article]

Mareike Dorothee Schmidt, Universität Des Saarlandes, Universität Des Saarlandes
The head of list xs is computed with hd xs and the remainder, its tail, is tl xs. Function last returns the last element of a list. We write [a, b, c] instead of a b c [ ].  ...  Furthermore, the function body consists of a composition of two statements -a portion of inlined assembly code and a return statement.  ...  Again no runtime A Appendix A.1 Source Code of the OLOS Implementation We give a short overview where the Olos implementation is located and the source code sizes.  ... 
doi:10.22028/d291-26028 fatcat:qmi7knrokbdqxjzahukbnyvzpu

The targum (1950:Feb. 3 - 1950:Feb. 28)

No Name Supplied
As a student organization, the Targum operated under the oversight of the dean of students and student government but in October 1980, the Targum became an independent college paper.  ...  In January 1869, the Targum as we now know it, made its appearance as a monthly paper that concerned itself with student "literary contributions" and college news as well as serving as a vehicle for bringing  ...  Captain Stan Grassner, 128-pounder,' and a strong 186-pounder who is un defeated in eight meets this sea son, comprise the core of the Owls' squad.  ... 
doi:10.7282/t3-zafs-rg41 fatcat:boegny5lzvcqdhgt4u4nayeyry

Theatre Design at the Royal Shakespeare Theatre (Stratford upon-Avon) (1963-1977) with Special Reference to the Work of Abd'Elkader Farrah

Abdullah Hassan Ahmed Al-Ghaith
Adopting a qualitative mode of research this study aims to present the Theatre Designer, Abd' Elkader Farrah, as a phenomenon in British theatrical design.  ...  These indicate that Farrah's theatrical designs have been a phenomenon in the British theatre scene in terms of his innovativeness, which is significantly represented in Shakespearean plays.  ...  There should be a union between the two based on the elements of the drama.  ... 
doi:10.25602/gold.00028511 fatcat:uv7z7ckasjbbrdpuiafiovd55i
« Previous Showing results 1 — 15 out of 48 results