Phd Proposal

TOPIC- VeriOSS: A Blockchain for Open Source Software Verification


The Software Supply Chain (SSC) is a cornerstone of the industrial society on which many other Supply Chains (SCs) depend. The continuous demand/integration of the computing systems into SCs is pushing the development and distribution of software. To cope with this growing request many companies are including open source software (OSS) in their software products. OSS has many advantages, for example, it prevents that the software producer does not acquires a strong bargaining position on the consumer. However, the flip side is that the producer of a OSS has no obligation to maintain, improve or fix her software. All in all, the OSS ranges from small scale projects, with limited or even no security plan, to community projects that release periodic security updates. Such heterogeneity makes it difficult to understand the actual risks when one wants to integrate a OSS in his project. From a methodological point of view, the project aims at answering the following questions: (i) what are the conditions to make the formal verification a valuable asset in the SSC? (ii) can we design a mechanism based on economic rewards that push participant to find and fix bugs in OSS software? (iii) can the blockchain technology be used to implement a decentralized framework for the formal verification of security properties of OSS? From a practical point of view, the project aims at designing and implementing a blockchain service for the security analysis and patching of the OSS, where developers and security analysts cooperate efficiently.


Formal methods, software verification, blockchain, DLT, contract-driven development, mobile code security

no more than 10,000 characters

Habilidades: Article Writing, Elaboração de relatórios, Pesquisa

Veja mais: english phd proposal example, phd proposal template doc, phd research proposal sample management, oxford phd proposal sample, short phd proposal example, phd research proposal examples social sciences, history phd proposal example, phd research proposal sample engineering, phd proposal real estate, phd proposal essay, writing phd proposal, phd proposal ready, phd proposal journalism, phd proposal law, phd proposal automation, economic based mmo, phd proposal economic, research proposal topic phd management, phd research proposal topic, phd proposal topic management

Acerca do Empregador:
( 0 comentários ) Lagos, Nigeria

ID do Projeto: #18864745

Concedido a:


Hi dear employer, I am a post graduate with master of business administration and at bachelor's level I did bachelor of commerce, I have prior experience in writing research thesis for both degree, masters and PhD stu Mais

$100 USD em 5 dias
(9 Comentários)

14 freelancers estão ofertando em média $219 para esse trabalho


Hello, I AM EXPERT PhD WRITER.I HAVE COMPLETED MANY PhD LEVEL RESEARCH PAPERS. I have 5 years experienced in Article Writing, Report Writing, Research and assure you the quality work on time as per your requirement Mais

$150 USD in 3 dias
(223 Comentários)

Hello, You have just posted a project by requesting to write a 10000 characters PhD proposal. I am specializing in academic work - from undergraduate essays and dissertations, through MA and PhD theses, to journal ar Mais

$250 USD in 5 dias
(83 Comentários)

I will be able to deliver high quality work within the given time frame. Hello Sir, I am eager to take the project , i will make sure to deliver it successfully, I have wide experience including but not limited to the Mais

$428 USD in 14 dias
(95 Comentários)

Hi I would like to work for you. I will provide highly credible and well-researched paper with my senior level experience. You may validate my profile which is also certified as “Preferred Freelancer” and the highe Mais

$100 USD in 5 dias
(59 Comentários)

1. I am an expert in writing Phd proposals on A Block chain for Open Source Software Verification 2. Also an expert in Academic writing, research reports, essays and advance essays, dissertations. 3. Your project Mais

$350 USD in 3 dias
(70 Comentários)

Hello. I myself is a research writer since 4 years and written over 20+ published papers for phD and Masters students. Although, i can share my samples and previous work. You can contact me for further discussion.

$200 USD in 7 dias
(31 Comentários)

Hey! You are looking for someone to writing PHD proposal and I’m well fit for this task. I have been working almost 3 years in the writing section. I can help you with this task. Please fell free to contact me so that Mais

$100 USD in 3 dias
(32 Comentários)

hi there, If you are looking for a reliable and resilient freelancer who will meet all your needs look no further. I have gone through the description of your project and I assure you that I am the right candidate for Mais

$200 USD in 3 dias
(7 Comentários)

This is a thing that i have ever encounter become i studied economic as a course. and i will make it up to your taste.

$271 USD in 2 dias
(0 Comentários)

As a professional academic writer and a member of editorial board for different journal publications as well as a reviewer for IET, Sensors, IEEE and Nature journals, I provide high quality proofreading and reviewing s Mais

$166 USD in 3 dias
(0 Comentários)

Hi there, The advancement of an offer and proposition is significant in persuading the customer that you have an arrangement satisfying the conditions sketched out. This is the place I come in. I am ready to take yo Mais

$150 USD in 3 dias
(1 Comentário)

i do my work so carefully. Because I love my work. You believe me sir, i submit you work before the scheduled time & aslo do this work so much carefully Relevant Skills and Experience i have some experience on this Mais

$100 USD in 2 dias
(0 Comentários)

Research questions and objectives This part indicates the questions whose answers the proposed research will seek as well as stating the goals of the PhD study. Literature Review It summarizes previous works relev Mais

$500 USD in 5 dias
(0 Comentários)