diff --git a/Our Work/Our-Approach b/Our Work/Our-Approach index ebacecd..835a890 100644 --- a/Our Work/Our-Approach +++ b/Our Work/Our-Approach @@ -18,7 +18,7 @@ Our approach means our software has a number of security and ease-of-use benefit - it is possible to formally verify important parts with a proof assistant (proof writing software) -We work with [clients](/Our%20Work/Service), [partners](/About%20Us/Network#Collaborations) and [funders](/About%20Us/Network#Grant-Funders) to design and develop open-source protocols and applications within this approach. +We work with [clients](/Our%20Work/Services), [partners](/About%20Us/Network#Collaborations) and [funders](/About%20Us/Network#Grant-Funders) to design and develop open-source protocols and applications within this approach. If you are interested in seeing how we can assist you in improving your organization's digital infrastructure please see our [services offered](/Our%20Work/Services). diff --git a/Our Work/Projects b/Our Work/Projects index ca46acf..f2878ed 100644 --- a/Our Work/Projects +++ b/Our Work/Projects @@ -6,7 +6,7 @@ title: Projects OpenPGP is a much-used standard of encryption and is widely used to encrypt text, files and emails, amongst other things. -Robur is implementing OpenPGP in OCaml, for use in MirageOS and any other compaitble platform or software that is looking for PGP written in a [secure language](/Our%20Work/Technology-Employed#Ocaml). +Robur is implementing OpenPGP in OCaml, for use in MirageOS and any other compaitble platform or software that is looking for PGP written in a [secure language](/Our%20Work/Technology-Employed#OCaml). This work is funded through donations and is still an ongoing project, which means that it may not currently possess all the features required for various use-cases. Currently our implementation can sign, verify, compress, encrypt and decrypt. diff --git a/Our Work/Services b/Our Work/Services index 02328e6..d8ca023 100644 --- a/Our Work/Services +++ b/Our Work/Services @@ -14,7 +14,7 @@ We’re experienced in designing and reviewing serialization frameworks, network ### Develop -Working with [Ocaml](/Our%20Work/Technology-Employed#Ocaml) and [MirageOS](/Our%20Work/Technology-Employed#MirageOS) we can develop specific applications that give you high assurance of their security and functionality, which seamlessly integrate in your existing infrastructure. +Working with [OCaml](/Our%20Work/Technology-Employed#OCaml) and [MirageOS](/Our%20Work/Technology-Employed#MirageOS) we can develop specific applications that give you high assurance of their security and functionality, which seamlessly integrate in your existing infrastructure. We can also work on a full stack approach to meet your needs and help a smooth migration plan for your organization.