Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2018

2018

We describe formal verification of s2n, the open source TLS implementation used in numerous Amazon services. A key aspect of this… Expand

2016

2016

A permutation is said to be a square if it can be obtained by shuffling two order-isomorphic patterns. The definition is intended… Expand

Highly Cited

2016

Highly Cited

2016

Connectivity is a classic measure for fault tolerance of a network in the case of vertices failures. Extra connectivity and… Expand

2015

2015

s2n is an implementation of the TLS protocol that was released in late June 2015 by Amazon. It is implemented in around 6,000… Expand

Highly Cited

2008

Highly Cited

2008

We test the implications of a model of multi-asset speculative trading in which liquidity differentials between on-the-run and… Expand

2008

2008

A Skolem sequence is a sequence s"1,s"2,...,s"2"n (where s"[email protected]?A={1,...,n}), each s"i occurs exactly twice in the… Expand

2008

2008

The paper presents the data reduction analysis for measurements of the transient thermal interface resistance between two bonded… Expand

2004

2004

Chung and Graham (J. Combin. Theory Ser. A 61 (1992) 64) define quasirandom subsets of Zn to be those with any one of a large… Expand

Highly Cited

2001

Highly Cited

2001

Abstract: We exhibit large classes of examples of noncommutative finite-dimensional manifolds which are (non-formal) deformations… Expand

Review

1978

Review

1978

Mylocliscus nanus Thorne, 1939 is redescribed from specimens collected in the State of Bahia, Brazil. It has an axial odontostyle… Expand