Välgörenhetsorganisationer kan nu börja få tillgång till miljontals pund mer i donationer tack vare en liten förändring i hur människor kan donera.

Gift Aid är en skattelättnad för den brittiska regeringen som tillåter registrerade välgörenhetsorganisationer att kräva den skatt som givaren redan har betalat på medlen.

För varje £10 som doneras till en brittisk välgörenhetsorganisation, välgörenhetsorganisationen kan göra anspråk på ytterligare £2,50 i presenthjälp.

Men vilket år som helst, mer än 500 miljoner pund – gåvohjälpen på ungefär en tredjedel av alla donationer – går inte att hämta eftersom både givare och välgörenhetsorganisationer inte har tid eller lust att göra det pappersarbete som behövs för att göra anspråk på det.

Nu, tack vare experter på matematisk modellering, systemteknik, cybersäkerhet och ett mjukvaruföretag, det är på väg att förändras.

I en artikel publicerad i tidskriften Formella aspekter av datoranvändning, forskarna förklarar hur de utvecklade sin modell, kallas Swiftaid, som lanserades av Streeva. Swiftaid-projektet tilldelades Streeva och University of Surrey av InnovateUK.

Swiftaid har erkänts av HMRC som den första lösningen för att automatiskt bifoga Gift Aid till kontaktlösa donationer.

Huvud författare, Dr. David Williams vid University of Portsmouths School of Computing, sa:"Vad vi vet, det här är första gången formella metoder har tillämpats på något system för välgörenhet."

Formella metoder tillämpar matematisk noggrannhet för att modellera och analysera system mot väsentliga krav. De används vanligtvis i säkerhetskritiska sektorer, som försvar och flyg, men Dr Williams och hans kollegor har funnit värde i att använda dessa avancerade tekniker i bredare miljöer.

Dr Williams tillade:"Det är extremt tillfredsställande när vår forskning har en verklig inverkan. I det här fallet, vi kunde förbättra utformningen av Swiftaid-systemet, gör det enklare och säkrare för givare, välgörenhetsorganisationer och HMRC för att ge extra stöd till de mest behövande via Gift Aid.

"Besväret med att behöva fylla i ett Gift Aid-deklarationsformulär för hand varje gång någon donerar avskräcker ofta människor. Swiftaid automatiserar Gift Aid-processen för att ta bort denna barriär, avsevärt effektivisera processen och låsa upp miljoner i extra finansiering för värdiga ändamål."

En av forskningsmedförfattarna, Professor Steve Schneider, chef för Surrey Center for Cyber ​​Security, var huvudutredare. Han sa:"Vi är stolta över vad vi har uppnått i detta projekt och de fördelar det kommer att ge för välgörenhet. Vi har sett var formella metoder har tillfört verkligt värde och ökat säkerheten i Swiftaid-systemet."

För att använda Swiftaid, givare skapar ett konto via swiftaid.co.uk och lägger till ett eller flera av sina kontaktlösa betalkort på ett säkert sätt. Varje gång en person donerar, de kan lägga till 25 procents presenthjälp genom att röra sin telefon mot en läsare, liknande de kontaktlösa betalningarna som används på Londons tunnelbana. Plattformen informerar säkert HMRC på uppdrag av både givaren och välgörenhetsorganisationen så att gåvohjälpen kan göras anspråk på.

Swiftaid automatiseras via en givares e-postadress och kommer snart att vara tillgänglig via mobiltelefoner.

En annan forskare inblandad, Dr. Salaheddin Darwish vid Royal Holloway University of London, sade:"Detta arbete är ett av få försök att förbättra robustheten och försäkran om välgörenhetssystemet med hjälp av formell modellering och kommer att göra det möjligt för välgörenhetsorganisationer att tillämpa Gift Aid-lagstiftningen effektivt och effektivt och maximera sina fördelar."

David Michael VD och grundare av Streeva sa:"Att samarbeta och vara medförfattare till en artikel med ledande akademiker är definitivt en stor bedrift och ett stolt ögonblick. Vi har arbetat extremt hårt för att se till att vi skapar en helt robust automatisk Gift Aid-lösning för Brittiska välgörenhetsorganisationer som har försäkran, förtroende och noggrannhet bakom det."