scispace - formally typeset
Search or ask a question

Answers from top 7 papers

More filters
Papers (7)Insight
Proceedings ArticleDOI
22 May 2016
30 Citations
Although each handshake mode is now well-understood in isolation, their composition in TLS 1.2 remains problematic, and yet it is critical to obtain practical security guarantees for TLS.
We show that, when DTLS/TLS 1.3 requires more resources than DTLS/TLS 1.2, this additional overhead is quite reasonable.
Besides do our findings point to imprecision in the TLS specification.
Proceedings ArticleDOI
22 May 2016
30 Citations
Our results confirm the soundness of TLS 1.3 security protection design.
Our analysis shows that the full handshake as specified in the TLS 1.3 draft draft-ietf-tls-tls13-10 achieves desirable notions of key confirmation for both clients and servers.
Thus, with this tool we can make an automatic verification of TLS.
Open accessBook ChapterDOI
03 Apr 2017
19 Citations
Our results highlight significant weaknesses, and may serve as a catalyst to improve TLS security for these devices.

Related Questions

What is new in TLS?5 answersThe new developments in TLS include the use of signalized targets for registration and calibration of data captured with terrestrial laser scanners (Lichti et al.). Another advancement is the development of a general analytical model for determining program speedup under different TLS designs, providing insights into where and how thread-level speculation can be applied effectively (Verbrugge et al.). Additionally, the adoption of edge computing in TLS has been proposed to improve the efficiency of session establishment, reducing server-side certificate transmission overhead and network latency (Kim et al.). Furthermore, an improved TLS programming model has been proposed to exploit potential parallelism in sequential programs, resulting in significant speedup on multi-core platforms (Liu et al.). Lastly, there is a need for specialized hardware security modules for TLS in resource-constrained embedded devices, and recommendations on combining them with TLS solutions have been provided (Kehret et al.).
Is SASOL certified in ISO14001?2 answersSasol's R&D and analytics laboratory in Brunsbüttel, Germany has been certified according to good manufacturing practices for developing active pharmaceutical ingredients. However, there is no information available in the provided abstracts about Sasol being certified in ISO14001.
How can I change SQL Server maintenance plan?7 answers
How do I enable SQL Server Agent in SQL Server 2014 Express?8 answers
How to check if TLS 1.0 is enabled on Windows Server 2016?7 answers
How to check if TLS 1.1 is enabled on Windows Server 2016?6 answers